Fix broken links in devel-docs (thanks @icook)