svoid trimAllPrintBuffers() {
  for (StringBuffer s : allPrintBuffers()) s.trimToSize();
}