switch to a faster json_escape_sequence implementation because competitiveness