Merge "overhaul maintenance/mwdocgen.php"