2020-02-05 - analytics
21:11	<joal>	Kill-restart mediawiki-history-dumps-coord, drop existing data, and restart at 2019-11	[analytics]