Hello, “?” for inputting sharps on a German keyboard is inconvenient as it requires to press two keys. I am aware that the acute key, which would be the right key for sharps, is a dead key by default, but I’ve also seen programs that allowed to use...