The WTF-8 encoding