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