mv hotkeys.txt to WORKSPACE/user