web: In the nav, Developers links to developer.html + new Contribute link