Migrate GNOME/gnome-games -> World/highscore
We'll be rebranding gnome-games to Highscore and to be more clearly a third-party app. I wonder if it would be possible to migrate it to World as part of this?
We'll change the appid to
org.gnome.World.Highscore if it's moved.
Seems nobody knows how to handle situations like this, so I've no idea if it's the right solution here.