Mejor ergonomía del teclado para el símbolo @

Corrige un error en el que Cmd+K se desactivaba para algunos usuarios.

Mejor compatibilidad con extensiones (en concreto, vuelve a activar welcomeView)