Allow a per-tree setting to specify the character encoding used by the source code.
Remove an assumption about how HTML encoding and character set encoding
interact at the possible loss of some efficiency.