1. Remove .html link from the link to the release notes.
2. Fix up the menu header links in the 2.0.1 patch notes so they point
to the two standard sets, not the old WCAG2-level headers.