2020-08-18 - tools
15:24	<bd808>	Rebuilding all Docker containers to pick up newest versions of installed packages	[tools]