2017-09-13 - analytics
11:15	<joal>	Kill-Restart mediawiki-history-denormalize-coord and launch new coords mediawiki-history-load and mediawiki-history-reduced	[analytics]