Automated export of pages from MediaWiki to other formats.