2021-05-28 - tools.notwikilambda
21:05	<wm-bot>	<lucaswerkmeister> deployed https://github.com/lucaswerkmeister/pygments-server rather than yesterday’s uncommitted version of it (most significant change: now on port 7879)	[tools.notwikilambda]