[ release notes ] Documented changes in Reflection.agda

The changes are related to https://github.com/agda/agda-stdlib/commit/ed8fcbf5d691f33ab34019a0dc7fda999b3bbfd4.