diff -r 2b64d5657592 -r 29ee987174c0 lib/Tools/electron
--- a/lib/Tools/electron	Tue Mar 15 14:03:56 2022 +0100
+++ b/lib/Tools/electron	Tue Mar 15 14:15:11 2022 +0100
@@ -2,7 +2,7 @@
 #
 # Author: Makarius
 #
-# DESCRIPTION: run the Electron framework within the Isabelle environment
+# DESCRIPTION: run the Electron.js framework within the Isabelle environment
 
 if [ -z "$ISABELLE_VSCODIUM_ELECTRON" ]; then
   echo '*** Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component'