A shortcut in the Settings / Parameter help dropdown is not translated

[martinwork]

Arising from
https://crowdin.com/editor/microbitorg/6426/en-de?view=comfortable&filter=basic&value=3#331624

In the dropdown for Settings / Parameter help, the shortcut Ctrl+Shift+Space is not translated.
https://github.com/microbit-foundation/python-editor-v3/blob/main/src/settings/SettingsArea.tsx#L68