* Fix some broken links * We now only serve via https * redirects don't work with anchors, so update those links (devel/dev_guide)