Thread:Extension talk:Lucene-search/Does an indexing server need to be a mediawiki server?