docs: protected boolean accept(String path) {
  
      // GWT Development Mode files
      if (path.equals("hosted.html") || path.endsWith(".devmode.js")) {
        return false;
      }
  
      // Default or welcome file
      if (path.equals("/")) {
        return true;
      }
  
      // Whitelisted file extension
      int pos = path.lastIndexOf('.');
      if (pos != -1) {
        String extension = path.substring(pos + 1);
        if (DEFAULT_EXTENSION_WHITELIST.contains(extension)) {
          return true;
        }
      }
  
      // Not included by default
      return false;
    }