static void logQuotedWithTime(S s) {
  logQuoted(standardLogFile(), formatGMTWithDate_24(now()) + " " + s);
}