Strings can sometimes be complex, especially when they use
the Unicode encoding format. The Hoa\Ustring library
provides several operations on UTF-8 strings.
This is a companion discussion topic for the original entry at https://hoa-project.net/En/Literature/Hack/Ustring.html