[ fix-agda-whitespace ] Complain also about trailing Format characters.
[ comment ] Haddockumented Utils.Char.
[ Utils.Char ] Some tools to explore the Data.Char.is... functions.