[Info-vax] macOS Terminal app. Numeric keypad fails for EDT.

[Steven Schweda]

> They are there. They are even called PF1, PF2, PF3, PF4, etc. This with
> Terminal 2.12.7 on macOS 12.6, vt102 selected in the Advanced tab for
> "Declare terminal as." 

   I don't see them here, either.  Terminal Version 2.12.7 (445), macOS
12.5.1.