2020-02-24 - releng
20:59	<James_F>	doc1001: `sudo -u doc-uploader rm /srv/docroot/org/wikimedia/doc/MinervaNeue/master` except PHP bits from Doxygen; everything else is at mediawiki-skins-MinervaNeue/ now	[releng]