Wow! Thank you for going through the effort of figuring out whether there was a solution for me. I really appreciate it!
And yeah… I could probably type all the characters I need to type through workarounds. But my problem is that I don’t think I should have to relearn how to type in order to switch to Linux. It’s a relatively niche issue I ran into, but I’m clearly not the only one running into it.
Which is a shame because I do want Linux to be more widely used than it is currently, and I think small annoyances like this are part of what is holding it back. It makes it more of a hassle to overcome the hurdle of switching OS.
I have one final question, which you might know perhaps… Where would one go to make feature requests for Linux itself? If I quickly Google this I find places to make feature requests for specific distros, but not for Linux as a whole.
I ask because I suspect this issue is more fundamental to Linux itself, rather than the individual distros I tried.
Edit: Or maybe I am misunderstanding, and this is something that does need to be brought up with the distros