I am the author of the original bug report, had to create an account to reply. Yes, I meant AltGr+X shortcut and thank you for your explanation. However, the remark that the combination inserts "less/greater equal" is not accurate. The most commonly used keyboard layout in Poland is so-called "Programmer's keyboard" (http://kbdlayout.info/KBDPL1/). In this layout AltGr+X inserts the letter "ź" (U+017A, latin small letter z with acute), which is one of the letters in Polish alphabet (https://en.wikipedia.org/wiki/Polish_alphabet,...