. . . . "I think the general debate was on whether our string types should be explicitly UTF-8 or not." .