[ haddock ] Documentation for Utils.Suffix.
[ new ] Basic instances for Pretty.
[ refactor ] Pretty instances for Concrete.Name.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2