Agda: drop obsolete version 2.3.2.2