Teensy 3.1/3.2 unavailable - port to 4.0

[ChromeFoundry]

Now that everyone is price gouging the old Teensy 3.2 for over $120 USD... is there any chance of porting this code to the Teensy 4.0? Your awesome hack is the only solution I've found for filling up landfills with obsolete Cricut Minis.