docs: public synchronized void add(Timer other) {
          this.numStarts += other.numStarts;
          this.totMs += other.totMs;
          this.maxSplitMs = Math.max(this.maxSplitMs, other.maxSplitMs);
          this.sumSqMs += other.sumSqMs;
      }