IDE: Disable not-yet-working extensions

2023-11-22, Edouard Tisserant