When user starts app, music plays.
User may turn music on/off in Settings.
Music setting is saved to disk.
Haven’t tested all music-playing situations, but works so far.