2020-10-20 - quarry
16:00	<andrewbogott>	rebooting quarry-web-01; lots of cruft in /tmp	[quarry]