Note: The first time I searched for it, which is not difficult to find... I then pinned it in my file explorer:Look for teensy_post_compile.exe. Arduino IDE installs it in your %LocalAppData% folder which is usually hidden in Windows, so you may need to do something special to view that folder and then search within it for teensy_post_compile.exe.