Works as advertised. put something in a [[block]] and you get a link to the appropriate mediawiki search page. Get the name right and be rewarded with an immediate redirect to the page you want.

Two caveats. First, it appears that mediawiki's search stuff changed a while ago when I wasn't paying attention. My own install of mediawiki uses a slightly different search URL syntax. Easy to fix, but it might be worth noting what version of MediaWiki this bot is targeted for.

Second, as I said, I have my own uses for MediaWiki, both in personal and professional life. I would like to be able to wikilink to my own wikis (they're not in the interwiki system). I managed to hack this into the bot, but it would be nice to make that a bit more of a feature than a hack.

Mind you, neither of these points detracts at all from the usefulness of the tool. Excellent work.