[Info-vax] How to map EDT keypad to Mac number keypad?

[Steven Schweda]

> I am using the Mac program Terminal [...]

   xterm is one alternative: https://www.xquartz.org/

  Then some xmodmap action.  I get by with the following, but "xev" is
your friend if you want more.

keycode  79 = KP_F1
keycode  89 = KP_F2
keycode  83 = KP_F3
keycode  75 = KP_F4
keycode  77 = KP_Separator
keycode 127 = Prior