Hi Ulrich,

It used to be that the 'List Hotkeys' text was
fixed, and didn't change when hotkeys were reassigned.
But this was fixed in the current update: the list of
hotkey functions now matches what you have actually set,
instead of just showing the defaults.

-- Bill