Wed, 22 Nov 2023 19:47:08 +0100 Edouard Tisserant IDE: Disable not-yet-working extensions