Add note for the reviewer about Agda 2.3.4