Adjust links in dev docs

Whoops….