I still don’t understand why this mutes functionality like this page’s, but not web video or audio players or the like in web pages.

Yeah, iOS sound is an enigma. If you lower the sound, does it change the ringtone? How about the alarm?

No one knows for sure, one of the true mysteries of the universe.