docs: public static void endDoing() {
      long elapsed = System.currentTimeMillis() - startTime;
      System.err.println("done [" + nf.format(((double) elapsed) / 1000) + 
                         " sec].");
    }