in scripts/utils.js [24:29]
function UTF162JSON(text) { for (var i = 0, r = []; i < text.length; i++) { r.push('\\u' + ('000' + text.charCodeAt(i).toString(16)).slice(-4)); } return r.join(''); }