Some input text is actually UTF-8,
so we need to deal with a mix of unspecified character encodings.