diff --git a/etc/components b/etc/components
--- a/etc/components
+++ b/etc/components
@@ -1,11 +1,11 @@
-#hard-wired components
+#built-in components
 src/Tools/jEdit
 src/Tools/Graphview
 src/Tools/VSCode
 src/HOL/Mirabelle
 src/HOL/Mutabelle
 src/HOL/Library/Sum_of_Squares
 src/HOL/SPARK
 src/HOL/Tools
 src/HOL/Tools/ATP
 src/HOL/TPTP