diff --git a/src/Pure/Admin/component_lipics.scala b/src/Pure/Admin/component_lipics.scala
--- a/src/Pure/Admin/component_lipics.scala
+++ b/src/Pure/Admin/component_lipics.scala
@@ -1,110 +1,110 @@
 /*  Title:      Pure/Admin/component_lipics.scala
     Author:     Makarius
 
 Build Isabelle component for Dagstuhl LIPIcs style.
 
 See also:
 
   - https://github.com/dagstuhl-publishing/styles
   - https://submission.dagstuhl.de/documentation/authors
   - https://www.dagstuhl.de/en/publications/lipics
 */
 
 package isabelle
 
 
 object Component_LIPIcs {
-  /* files for document preparation */
+  /* resources */
 
   val document_files: List[Path] =
     for (name <- List("cc-by.pdf", "lipics-logo-bw.pdf", "lipics-v2021.cls"))
       yield Path.explode("$ISABELLE_LIPICS_HOME/" + name)
 
 
   /* build lipics component */
 
   val default_url = "https://github.com/dagstuhl-publishing/styles/archive/refs/tags/v2021.1.2.tar.gz"
 
   def build_lipics(
     download_url: String = default_url,
     target_dir: Path = Path.current,
     progress: Progress = new Progress
   ): Unit = {
     Isabelle_System.with_tmp_file("download", ext = "tar.gz") { download_file =>
       Isabelle_System.with_tmp_dir("download") { download_dir =>
 
         /* download */
 
         Isabelle_System.download_file(download_url, download_file, progress = progress)
         Isabelle_System.extract(download_file, download_dir, strip = true)
 
         val lipics_dir = download_dir + Path.explode("LIPIcs/authors")
 
 
         /* component */
 
         val version = {
           val Version = """^*.* v(.*)$""".r
           val changelog = Path.explode("CHANGELOG.md")
           split_lines(File.read(lipics_dir + changelog))
             .collectFirst({ case Version(v) => v })
             .getOrElse(error("Failed to detect version in " + changelog))
         }
 
         val component = "lipics-" + version
         val component_dir =
           Components.Directory(target_dir + Path.basic(component)).create(progress = progress)
 
         Isabelle_System.copy_dir(lipics_dir, component_dir.path)
 
 
         /* settings */
 
         component_dir.write_settings("""
 ISABELLE_LIPICS_HOME="$COMPONENT/authors"
 """)
 
 
         /* README */
 
         File.write(component_dir.README,
           """This is the Dagstuhl LIPIcs style for authors from
 """ + download_url + """
 
 
     Makarius
     """ + Date.Format.date(Date.now()) + "\n")
       }
     }
   }
 
 
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
     Isabelle_Tool("component_lipics", "build component for Dagstuhl LIPIcs style",
       Scala_Project.here,
       { args =>
         var target_dir = Path.current
         var download_url = default_url
 
         val getopts = Getopts("""
 Usage: isabelle component_lipics [OPTIONS]
 
   Options are:
     -D DIR       target directory (default ".")
     -U URL       download URL (default: """" + default_url + """")
 
   Build component for Dagstuhl LIPIcs style.
 """,
           "D:" -> (arg => target_dir = Path.explode(arg)),
           "U:" -> (arg => download_url = arg))
 
         val more_args = getopts(args)
         if (more_args.nonEmpty) getopts.usage()
 
         val progress = new Console_Progress()
 
         build_lipics(download_url = download_url, target_dir = target_dir, progress = progress)
       })
 }