docs: public static Batch copy( Batch batch ) {
          if (batch == null) return batch;
          if (batch.isEmpty() || batch.width() < 1) return emptyBatch(batch.getWorkspaceName(), 1);
          // Otherwise, create a copy ...
          return batch.width() == 1 ? new SingleWidthBatch(batch) : new MultiWidthBatch(batch);
      }