Re: [MediaWiki-l] Older Versions of the DumpHTML Extension