[Mediawiki-l] dumpHTML