docs: public DeletionInfo add(DeletionInfo newInfo)
    {
      add(newInfo.topLevel);
  
      if (ranges == null)
        ranges = newInfo.ranges == null ? null : newInfo.ranges.copy();
      else if (newInfo.ranges != null)
        ranges.addAll(newInfo.ranges);
  
      return this;
    }