[Bug 1224825] New: Agda-2.4.2.3 is available