Currently settings.json stores full paths for any targets added. The language server also expects full paths. It would be much better to use relative paths for portability.
[ ] Change extension.ts to work out the relative path for any selected targets and store this when adding a new target (or switching targets)
[ ] Change server.ts to convert relative paths from settings.json to full paths, consistent with the document.uri paths passed in from the vscode client
[ ] Check for backwards compatibility i.e. full paths still work
Currently settings.json stores full paths for any targets added. The language server also expects full paths. It would be much better to use relative paths for portability.