This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Please add something to make it more convenient to file spec bugs directly from the spec. For instance, you can use this: https://w3c-test.org/resources.whatwg.org/file-bug.js
Great idea, thanks! Fixed in changeset 87a8995f8f7b.