[Wikitech-ambassadors] Tidy replacement on final Wikimedia wikis on 5 July 2018