Backport changes from 2.3 release to 2.4#2799

JacquesCarette merged 4 commits intomasteragda/agda-stdlib:masterfrom

2.3-to-2.4agda/agda-stdlib:2.3-to-2.4Copy head branch name to clipboard