Various small tools for MediaWiki