Defined in File encoding.cpp
encoding::
::
to_utf8
Converts string to UTF-8 string
This doesn’t do anything, as string is already either UTF-8 or ASCII