Misc tools to work with the mediawiki