docs: public static void addFileURL(File f) {
          String absolutePath = f.getAbsolutePath();
          if (!filterFile(absolutePath)) {
              try {
                  recordURL(f.toURI().toURL().toExternalForm());
              } catch (MalformedURLException e) {
                  // Never expected.
              }
          }
      }