sS html_emojisToUnicode(S s) {
  ret join(mapNonCodeTokens emojisToUnicode(htmlTok(s));
}