DOC: tweak the release notes for separate compilation.