[ fix-agda-whitespace ] Support for text 1.2.*
Merge branch 'maint-2.4.2'