The update is now live!
The ‘clean’ approach I had in mind wasn’t as clean as expected, so instead I prevented only the map data reload.
The only noticeable effect should be improved compatibility, but the menu should also open unnoticeably faster now in general.
