2020-07-24 - tools
22:33	<bd808>	Removed a few more ancient docker images: grrrit, jessie-toollabs, and nagf	[tools]