Isn't the double tap hotkey a fantastic feature?! (Keys on the sides of the keyboard are faster to find than in the interior. Two strokes on the same key is simpler than two different keys, and fundamental to human language development to show voluntary utterances, cf. da-da, pa-pa, ma-ma, a-a, oh-oh and so on.)
However, sometimes when typing a double tap is fired ‘by mistake’. Is there anyway you can set a specific time interval for the tapping to be considered a ‘double tap’?
(In my case I have a very useful workflow that opens Drafts’ Capture window with ⇧ double tap