the '/" key seems to be ignored by ghostty. It works in every other app. This prevents me from using a lot of other keys, since I use an international qwerty-Layout.