jps wrote:There's no easy way to switch between projects atm, but if you're keen, you can make a plugin that shows your projects in a quick panel, passing the results to the openProject command.

Unfortunately my skills are a bit lacking in that respect. But thanks for the tip, and it is of course a blessing to have any project support at all. It's making the task of hunting down the right files a lot quicker.