Re: [Wikitech-l] Wikimedia production excellence (September 2019)