Tools to work with MediaWiki dumps