It's also possible to "fix" the keyboard via ukulele - especially international layouts come with a lot of cruft under option-key.

Another possibility is to fix it via eg the terminal emulator - but that doesn't work for global hotkeys like window management with yabai via skhd.

See my comment on lobsters: https://lobste.rs/s/nvoikx/helix_notes#c_m8guuh