2019-12-17 - tools
20:25	<bd808>	Fixed https://tools.wmflabs.org/ to redirect to https://tools.wmflabs.org/admin/	[tools]