Why are there duplicate pins grayed out on the Teensy 4.0 pinout cards?

Printable View