sS dynamize_noEncode(S html) {
  L<S> tok = htmlTok(html);
  Pattern p = Pattern.compile([[(?:#|\blib\s+|(?:^|\n)\s*!)([0-9]+)]]);
  for (int i = 0; i < l(tok); i += 2) {
    Matcher m = p.matcher(tok.get(i).replace("&#", "&~~~"));
    new StringBuffer buf;
    while (m.find()) {
      S id = m.group(1);
      mreplace(m, buf, ahref(snippetLink(id), m.group(), title := getSnippetTitle_cached(id)));
    }
    m.appendTail(buf);
    tok.set(i, dynamizeGlobalIDsInHTML(str(buf).replace("&~~~", "&#")));
  }
  ret join(tok);
}