@mirabilos @jstepien Well I use a slightly modified US layout so not sure if it managed the purely key→symbol part properly, but that would be kind of surprising as it would be broken for so many people, including macbooks (as they have a slightly different layout for some reason…).