Fixing broken links

The previous commit shortened some URLs, but didn't change href attributes accordingly across the prototype. This commit takes care of this, so you don't find broken links.