2019-07-04 - analytics
08:00	<joal>	Kill mediawiki-history-redeuced coordinator and restart it with manually patched version	[analytics]