Update all shortcuts in the manual

[YYBartT]

With the automatic export of keyboard shortcuts, all unique shortcuts that can be used are now available in the manual as variables. Currently the list is still updated from the JSON file by manually running a Python script, but in a next step this could also be automated.

The shortcuts that are currently in the manual are all written as text, for example on The Script Editor page. Now that we have the shortcuts available, there is no use in typing them manually anymore since a given key combination either corresponds to an existing hotkey or it doesn't and there is a chance a shortcut might change, in which case we need to update it manually on all the pages that mention it.

Replacing all existing, manually written shortcuts with a link/reference to one of the variables should make things more robust and should result in less out-of-date shortcuts being listed in the manual.

One thing to look into is how to do this in RoboHelp, either through variables or cross-references. The shortcuts need to be listed on the Keyboard Shortcuts page, but can also be inserted on any other manual page. Additionally, the shortcuts inserted on other manual pages should refer to the keyboard shortcuts page. Look for the best way to do this.