Update release notes, regenerate html.