More fixes

cursortue, jun 27, 2023

original release ↗

↑improved 2

Better @ symbol keyboard ergonomics
Better support for extensions (specifically re-enables the welcomeView)

✓fixed 1

Fixes a bug where Cmd+K turned off for some users.