Links for mr.developer.shell