Utilities for converting mediawiki files to Gollum-friendly formats