Thanks for the review! Yeah that is a good idea to be able to turn music off entirely. I haven't seen issue with leaderboard on Firefox or MacOS, but perhaps it differs on your platform.
BTW you can turn down music all the way in the Options Menu
