Doc fixes

Just some editing-to-reflect-reality on release notes and manual.