Re: [Mediawiki-l] New extension: Rigorous Search