michaelg/dev: links for workspace-manager