changes to release notes, etc. from doc/doc 7f6e4f49c47f540