ToggleButtonWidget inherits aria-checked="true" which is a severe error, as this ARIA attribute should only be used on elements like checkboxes or radios..
ToggleWidget initially got this added in v0.6.4. ToggleButtonWidget was added later without reevaluating the inherited attributes.
Proposal A:
As the button features aria-pressed anyways, we should remove the attribute specifically from ToggleButtonWidget.
Proposal B:
Keep the area-checked attribute, and add the role=checkbox attribute to the parent.