string.js annotations; better emoji support