[ release instructions ] Agda version
It is necessary to change the Agda version thrice in Agda.cabal.
Merge branch 'maint-2.4.0'