2020-11-10 - tools.quickcategories
15:57	<wm-bot>	<lucaswerkmeister> made tool readonly to avoid issues during ToolsDB maintenance	[tools.quickcategories]