Replaced maintenance/dumpHTML.php with a message pointing to the DumpHTML extension...