Anyways, basically all is well, with two exceptions:
- the delta-underline-character is not shown
- F9 (and other hotkeys) do not work in the editor
Is there a way to deal/fix with these issues or is it a "penalty" for using 10.1 (or a motivation to upgrade the legacy stuff...) which I would have to accept?