Bug Fixes

• Remove workspace locks in ProjectsManager, as they lead to race conditions during extension activation. Fixes #2466
• Fallback to the first project in vite plugin, if projectId is not found, instead of erroring out. Closes #2472
• Corrected resolution of project's included documents
• Corrected background color of element-details panel in dark mode