This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
I noticed a reference to DOM3 Events at the very bottom of the doc, this is probably not necessary :-)
Fixed: https://dvcs.w3.org/hg/dom3events/rev/df335d7df31d