Links for devenv-manager