Feature Request: doubleclick

Add functionality for doubleclicking.

The only place I can find where this is useful is spotify web player, but presumably there are other places. The problem I have on spotify is that you need to doubleclick tracks to get them to play. If I do 2f[keys], it doesn't have the desired effect. I'm assuming because the sequence
["mouseover", "mousedown", "mouseup", "click"]
is repeated, but "dblclick" doesn't happen.

I've hacked about a bit in the source code, and this code does what I want:

mouseEvent = new MouseEvent('dblclick', {
    'view': window,
    'bubbles': true,
    'cancelable': true
});
element.dispatchEvent(mouseEvent)

Maybe this could be implemented as 2f[keys] or f2[keys]?

Alternatively we can just add the 'dblclick' event every time we click. This doesn't seem to affect anything except spotify, where it causes the desired (and intuitive) behaviour.

Start by tracing the source code handling 2f[keys] and f2[keys], then compare it with the existing mouse event sequence of mouseover, mousedown, mouseup, and click. Verify the chosen behavior against Spotify Web Player and confirm that double-clicking tracks produces the expected playback without breaking ordinary clicks.