2026-07-23 - tools.toolschecker
12:51	<godog>	delete tool -- now unused	[tools.toolschecker]