Puntuado con 4 de 5 estrellas

Another vote for a return to the "Ctrl" key, or a configurable shortcut key.