2023-11-25 - tools.grid-deprecation
20:05	<taavi>	the grid-deprecation tool no longer lists tools that ran jobs in the past (but are currently not running anything) and that are disabled	[tools.grid-deprecation]