I've ordered a Teensy 4.0 which will arrive in a couple of weeks but am designing a PCB to put it on already.

But I've failed to find anything in the documentation online saying which way up the Program and On/Off pins are - active high or active low. Could somebody let me know as I obviously can't send the PCB off to JLCPCB until I'm sure I have them the right way up.