Or do you mean the (non-main?) namespaces aren't indexed properly as
regards the needs of Wikisource?
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.