Revert "double decode_utf8")."