Fix bug 818323: Redirect vulnerability pages.
Merge pull request #1024 from openjck/818323-vulnerabilities-redirects