My previous keyboard's finally given up the dust, and I'm using a weird IBM terminal keyboard... looks vaguely like a 104-key except it's also got F13 thru F24, the left shift button is tiny becuase ...