Mon, 23 May 2022 16:27:56 +0200 Edouard Tisserant IDE: better permission checking when opening a project.