[Wikitech-l] Wikimedia production: turning off bare metal MediaWiki clusters