Experimental code for %encoding of UTF-8 characters, commented out while
we work out what the problem description is and what the appropriate consistency policy should be.