extracted dumping into readwiki.js and latest conversion into convert2latex.js