Hey everyone, I still have a small ‘xmodmap’ configuration which is working for me, and I'm not changing it. However, I think for most use cases, it's better to use XKB-extension and its utilities. I mean, right? -- Best Regards, Abraham Sent with Tutanota; https://tuta.com