This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Added example of player with mute button as toggle. Explained the label should not change when the player is muted.