oops, I accidentally let my JetBrains educational license lapse.

Luckily, it’s easy to start a trial on a dummy account until my renewed application is accepted.