Hot-fix for extensions (2023-06-03)

Also potentially fixes the Jupyter problem that many people are experiencing.