Re: [Wikimania-l] Closing wikimania2018wiki