Where to find Pin number to GPIO number mapping for Teensy 4.1

The TeensyDocuments repository provides a full Teensy 4.1 pin map complete with GPIO numbers. The list is also available as XLSX.

For example, pin 33 is listed as GPIO4.7 in said pinmap.