I just tried again and now it works just fine. I don't know what was wrong before. I did update, and possibly reboot between the last try and now. I noted before this Teensyduino window didn't just appear like it did now when I tried to flash. In fact, I thought maybe it just appeared for...