static O agiBlue_server_postSearchResult(S q, LS results) {
  ret call(eleu_getBot(#1013835), 'sendEval, litmap(flag := "agi.blue: " + q, code :=
    [[document.getElementById("dynamicStuff").innerHTML = ]] + jsQuote(
      h3("Search results (" + l(results) + ")")
      + p_nemptyLines(map agiBlue_linkForPhrase(results))
    ) + [[;]]));
}