michaelg/dev: links for dex-workspace