Simple pure-python webserver that generates HTML from mediawiki XML dumps