This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The glossary gets in the way of readability. Let's move it out of the way.
Now fixed in https://dvcs.w3.org/hg/dom3events/rev/9dc74ec13aea