This is to temporarily change the default wikimania logo on wikimania.wikimedia.org from the default logo to Wikimania 2023 logo, until at least till end of September 2023, or earlier depending on other variables, i.e. ramp up of 2024 marketing effort.
Logo to be used: https://commons.wikimedia.org/wiki/File:Wikimania_2023_Singapore_Square_logo.svg