r5883: fix formatting in release notes