2023-09-15 - tools.coverage
05:28	<Krinkle>	Restart stuck webserver and move from php7.3 to php7.4 while at it.	[tools.coverage]