2020-10-02 - production
14:08	<moritzm>	purging some unused kernels on ping* (these only have 3GB "disks")	[production]