2021-09-19 - tools.notwikilambda
15:48	<wm-bot>	<lucaswerkmeister> temporarily disabled SyntaxHighlight extension due to issues with the Pygments server	[tools.notwikilambda]