Just reconfigured the normal hotkeys. After saving I've tried them out and only 50% were working. Some didn't work at all, others with the old function. Restarting VLC solved most of the problems, but the 'm'-key sticked to 'mute' instead of reacting as intended and displayed in config. 2nd problem ...