[ CHANGELOG ] Listed bug fixes for Agda-2.4.2.2.