If they add a bar at the bottom of the terminal which has all our favorite buttons, it would be the best of both worlds. That way you won't even have to press a modifier key to get buttons like pipe or tilde.