Teensy 4.x factory reset - TeensyUser/doc GitHub Wiki
Paul's description of performing the "15 sec restore" procedure on a Teensy4.0/Teensy4.1 can be found at https://forum.pjrc.com/index.php?threads/new-teensy-4-0-suddenly-not-recognized.74957/post-342739.