So it seems I would have needed to add my voice to this about two years ago. Oh well. Even after all that time I have not managed to get used to this behaviour. Especially due to the fact you also can’t set a threshold (in ms) for what defines a double-tap in the first place, the only workflow ‘improvement’ for me has been occasional unwanted surprise. I work chaotically enough as it is, but I want my keystrokes to be deterministic. You can customise keyboard shortcuts for just about everything else. And I have, so dotted notes are precisely where I want them. Please. Let me turn this off.