09:58
<smaug>
Folks here might be interested in https://github.com/w3c/uievents/issues/369
14:33
<zcorpan>
Maybe moving it to WHATWG is an option if the motivation is effectively working around W3C Process