Dear all, FYI, as preparation for releasing Agda 2.4.2.5, the new version in the Agda maintenance branch is 2.4.2.6 and I have created the 2.4.2.6 branch in the standard library repository. Best, -- Andrés