SVG 2 onwheel event name mismatch

I hope this is the proper forum for editorial comments on the SVG spec...

In the current editor's draft of SVG 2, the attributes index here:
     https://svgwg.org/svg2-draft/attindex.html#RegularAttributes
lists an "onmousewheel" event.

The actual event name is "wheel" rather than "mousewheel" as shown here:
     https://www.w3.org/TR/uievents/#event-type-wheel
     https://html.spec.whatwg.org/multipage/indices.html#events-2

The HTML 5.2 spec (and 5.3 draft) correctly lists the "onwheel" event 
attribute:
     https://www.w3.org/TR/html/dom.html#global-attributes

-- 

Best regards,
Dr. Steve Benoit

Assistant Professor
Department of Mathematics
Colorado State University