fix #2956: management of release notes