docs: @Override
    public DriverPropertyInfo[] getPropertyInfo(String url, Properties info) {
      Properties copy = new Properties(info);
      Properties parse = parseURL(url, copy);
      if (parse != null) {
        copy = parse;
      }
  
      PGProperty[] knownProperties = PGProperty.values();
      DriverPropertyInfo[] props = new DriverPropertyInfo[knownProperties.length];
      for (int i = 0; i < props.length; ++i) {
        props[i] = knownProperties[i].toDriverPropertyInfo(copy);
      }
  
      return props;
    }