Add notes about mysql-workbench hotkey fix