2021-05-16 - tools.ranker
18:14	<wm-bot>	<lucaswerkmeister> deployed 8784dddb07 (batch mode, rank per individual statement)	[tools.ranker]