Agda.Utils.Unicode
isUnicodeId
convertLineEndings