Re: [Mediawiki-l] dumpHTML extension