[ releases notes ] Added a note

I didn't use three steps described in agda-maintenace-releases
when I was preparing the release of Agda 2.4.2.2.
Merge branch 'maint-2.4.2'