2020-10-30 - production
15:36	<effie>	stopping puppet on mediawiki and mc* hosts	[production]