Thread:Project:Current issues/Global docs search/reply (3)

If people like it, it's extremely easy to integrate it in the standard MediaWiki search, see for instance w:it:Speciale:Ricerca.