Wed, 22 Nov 2023 19:47:08 +0100IDE: Disable not-yet-working extensions
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 22 Nov 2023 19:47:08 +0100] rev 3873
IDE: Disable not-yet-working extensions