code: @Override
      protected void extraFileActions(PackageSymbol pack, JavaFileObject fo) {
          if (fo.isNameCompatible("package", JavaFileObject.Kind.HTML))
              docenv.getPackageDoc(pack).setDocPath(fo);
      }
docs: Override extraFileActions to check for package documentation