Update help_hotkey.html