Bump version number, update release notes, rename release notes and tweak
markup. Update copyright year.