4 ms·

This, plus I just gave up and mapped ctrl+v to paste in terminal directly. Also alt-tab is now windows+tab, which is close enough.