2020-02-16 - tools.quickcategories
14:56	<lucaswerkmeister>	deployed 5e1e3d97ac (follow redirects by default, !title to edit the redirect itself)	[tools.quickcategories]