Hi @freisatz,
Thanks for letting us know and the thorough break down of the keys. We’ll definitely look into this.
Supporting physical keyboards on Android and iOS has been a challenge due to the varying keyboard layouts and mobile operating system preferences – different mobile devices handle Ctrl and Alt etc. differently. There’s existing feature requests to support highlighting in iOS.
I’ve moved this to feature requests, since the keyboard shortcuts you mentioned that need improving just default to their default OS behaviour.