[TxMt] Re: (possibly off topic) mediawiki to dokuwiki