[ CHANGELOG ] Fixed Agda version
[ Release notes ] TODO: Agda 2.4.0.X

Before releasing Agda 2.4.2 it is necessary to replace X with the
appropriate value.
[ Release notes ] Stopped talking about Agda 2
Merge branch 'maint-2.4.0'