Edit: that script should have been just:
which also failed.
However under ‘direct interaction’ I am able to choose a new key, which for me is OPT+/ which is seen as CTRL+ALT+/
phew I’m in.
The computer keyboard is a graveyard of poor design choices…