Re: [Wikitech-l] Math at the Wikimedia Technical Conference 2019