fix broken links in dev guide

This was caused by commit 201e83f72 which changed the location of the
dev guide.