This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
". parts of which are republished in an edition optimized for Web developers (which you are reading right now)."
thanks, fixed https://github.com/w3c/html/commit/48d541ae41c234bfdec56a7cce99059c71764de6