script to convert etherpad html to mediawiki