* fix to the hotkeys on OSX: RECORD start/stop is cmd-shift-r, HISTORY_BACK/_FORWARD ctrl-v/ctrl-b now, as '[' and ']' are unaccessible on German keyboards