Can we bump this a little bit up in priority?
That ec.lock file proves to be extremely useful, and it's really too bad that it's missing the information mentioned here (user, host and pid). These 3 items would take care of some annoying cases (like estudio crashing and leaving the ec.lock file behind - simply looking up process with pid for existence would allow to filter out all those cases, the 'user' and 'host' info would provide much needed info when opening a project while it is already open by someone else and wondering if it is a false alarm - a user+host indication would prove very helpful)