diff --git a/Admin/components/main b/Admin/components/main
--- a/Admin/components/main
+++ b/Admin/components/main
@@ -1,29 +1,29 @@
-#main components for everyday use, without big impact on overall build time
+#main components for repository clones or release bundles
 gnu-utils-20210414
 bash_process-1.2.4-2
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
 e-2.5-1
 flatlaf-1.0
 isabelle_fonts-20210322
 jdk-15.0.2+7
 jedit_build-20210201
 jfreechart-1.5.1
 jortho-1.0-2
 kodkodi-1.5.6-1
 nunchaku-0.5
 opam-2.0.7
 polyml-5.8.2
 postgresql-42.2.18
 scala-2.13.5
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.34.0
 ssh-java-20190323
 stack-2.5.1
 vampire-4.2.2
 verit-2020.10-rmx-1
 xz-java-1.8
 z3-4.4.0pre-3
 zipperposition-2.0-1
diff --git a/Admin/components/optional b/Admin/components/optional
--- a/Admin/components/optional
+++ b/Admin/components/optional
@@ -1,2 +1,2 @@
-#optional components that could impact build time significantly
+#optional components: somewhat experimental tools
 hol-light-bundle-0.5-126
diff --git a/Admin/components/windows b/Admin/components/windows
--- a/Admin/components/windows
+++ b/Admin/components/windows
@@ -1,2 +1,2 @@
-#components for "windows" platform family
+#additional components to be bundled for release
 sumatra_pdf-3.1.2-2