Fix the developer link in the header.
Add a few more links to the dev page for #6485.