2019-10-16 - analytics
20:20	<joal>	Kill-restart mediawiki-history-dumps-coord to pick up changes	[analytics]