Wed, 22 Nov 2023 19:47:08 +0100 Edouard Tisserant IDE: Disable not-yet-working extensions
Fri, 27 Oct 2023 22:15:27 +0200 etisserant Fix typo in README.md