docs: public IdType withVersion(String theVersion) {
      Validate.notBlank(theVersion, "Version may not be null or empty");
  
      String existingValue = getValue();
  
      int i = existingValue.indexOf("_history");
      String value;
      if (i > 1) {
        value = existingValue.substring(0, i - 1);
      } else {
        value = existingValue;
      }
  
      return new IdType(value + '/' + "_history" + '/' + theVersion);
    }