Looks like the Arduino devs will likely release Arduino 1.8.13 tomorrow (Tuesday, June 16).

https://github.com/arduino/Arduino/c...44c43cc7b9be8b

I'm monitoring the situation and hope to have a first Teensyduino 1.53 beta within 24 hours of their release.