2020-02-05 - analytics
21:06	<joal>	Kill-restart mediawiki-wikitext-history-coord and mediawiki-wikitext-current-coord	[analytics]