michaelg/dev: links for workspace-extractor