static S ai_renderTripleWithDate(TripleWeb t) {
  ret "[" + dateWithSecondsGMT(t.created()) + "] " + ai_tripleToString(t);
}