diff -r ef6863b14ca2 -r b1e04ffb4b08 etc/options
--- a/etc/options	Tue Nov 04 21:36:33 2025 +0100
+++ b/etc/options	Tue Nov 04 21:49:24 2025 +0100
@@ -213,7 +213,7 @@
   -- "slice size in MiB for ML heap stored within database"
 
 option build_progress_detailed : bool = false for build
-  -- "enabled detailed build progress"
+  -- "detailed status for ongoing build progress"
 
 option build_progress_delay : real = 2 for build
   -- "delay for detailed build progress"