IDE: better permission checking when opening a project.

2022-05-23, Edouard Tisserant