Aha, I wondered why the JetBrains terminals had become so much better recently. Didn't realize they'd made the switch.