Document the characters()other()characters() issue if first char buffer ended in a high surrogate.