static synchronized void saveQuotedLog(File f, L<S> l) {
  new StringBuilder buf;
  for (S s : l)
    buf.append(quote(s)).append("\n");
  saveTextFile(f, str(buf));
}