docs: private static void addFiltersAndValuesToIndex(BufferedReader br, PackageIndex<Integer> packageIndex) throws IOException {
          String line;
          while ((line = br.readLine()) != null) {
              if (line.isEmpty() || line.startsWith("#")) {
                  continue;
              }
              int pos = line.indexOf('=');
              if (pos > 0) {
                  String filter = line.substring(0, pos).trim();
                  String value = line.substring(pos + 1).trim();
                  packageIndex.add(filter, getMinLevelIndex(value));
              }
          }
      }