Late yesterday the AT90USB simplification/unification code was merged. Gone is the Marlin/FASTIO numbering vs. Teensy numbering.
The new code does implement pins 46 & 47 for the two ports that Teensyduino doesn't use.
The new code does implement pins 46 & 47 for the two ports that Teensyduino doesn't use.