Before the most recent update, I could use the currency key as ctrl. Now the option no longer appears in the menu.
Instead there is only the option to use ?123 as ctrl. I think ?123 only appears on the touchscreen keyboard.
How can I regain ctrl from a physical key?