Dear users and developers.
I have realised that I extremely use “End voice immediately”, but there is no key command shortcut.
Would be this shortcut not useful for other users?
I assume most users would prefer rests to remain displayed in the input phase, then “Remove Rests” as needed in the editing phase. Just a hunch.