I intended both.
I would like to enhance the global search settings, but the command you gave me (that is very useful) seems to
act only in the LocalSettings.php: is there anything that could work via Common.js?

It's probably easy to request the modification, but I would like to know how the other Wikisources dealt with the same issues (if they did).

Aubrey

PS: Regarding indexing, I just remember one dev who told me that the search engine is always tested on Wikipedias and other projects, never on Wikisources.