in scripts/utils.js [17:21]
function toJSON(codePoints) { return codePoints.split('-').map(function (point) { return UTF162JSON(fromCodePoint(point)); }).join(''); }