Fixes for dev portal

While checking links for the new ripple.com, I also found some problems in the old dev portal and fixed them.

Fortunately, with the redirect system Ben & I worked out, I don't have to do anything extra to backport them, so these changes should be good for the main site too