Had problems in Raspberry Pi OS entering special characters. I had to “Google” for them. No longer. GUCharMap to the rescue! 😍
