all personal hotkeys are in personal.rc
I theme can have its own hotkeys the way i understand it.