Re: [Wikitech-l] Wikimedia production excellence (November 2018)