2021-04-02 - quarry
09:05	<Framawiki>	shutdown quarry-dev server, normally unused now	[quarry]