'mediawiki-dumpgenerator' turns any mediawiki into an XML file