2017-10-05 - production
07:26	<legoktm>	running batched query of "DELETE FROM linter WHERE linter_cat=12" on all wikis to clear out mostly bogus html5-misnesting category	[production]