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