Came across this issue too and somehow found this - https://en.wikipedia.org/wiki/AltGr_key.

It seems like this is a hack in Windows to support Alt Gr on keyboards without the button (like on netbooks). Windows maps AltGr (right Alt) to Ctrl+Alt, and then maps Ctrl+Alt+[some key] to other characters.