#4153: update the Unicode howto.