You can download an installer for 2023.8 (or 2023.6) from the releases page - it’s the new IDE that breaks extensions.
Oh, that's great, thanks very much for the tip!