This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In the second note of "11.2 Mapping for devices that do not support hover" we have "The activation of an element (click) with a primary pointer (e.g. single finger, stylus, or mouse) would typically produce the following event sequence:" as this section is all about non-hover devices, "mouse" should not be included. For clarity, I'd also add the mention again that this is for non-hover devices: "The activation of an element (click) with a primary pointer on a device that does not support hover (e.g. single finger or stylus on a touchscreen) would typically produce the following event sequence:"
Fixed as suggested, except I removed "stylus" since many styluses (even on touchscreens) support hover and that might cause confusion. https://dvcs.w3.org/hg/pointerevents/rev/9a8ac635caa3
LGTM thanks :)