[ fix-agda-whitespace ] Support for text 1.2.*