--- a/NEWS Thu Mar 24 22:35:47 2022 +0100
+++ b/NEWS Thu Mar 24 23:33:55 2022 +0100
@@ -15,9 +15,15 @@
*** Isabelle/VSCode Prover IDE ***
-* Command-line tools "isabelle vscode_setup" and "isabelle vscode"
-provide convenient access to a well-defined version of VSCodium
-(open-source distribution of VSCode without MS telemetry).
+* VSCodium, an open-source distribution of VSCode without MS
+telemetry, has been bundled with Isabelle as add-on component. The
+command-line tool "isabelle vscode" automatically configures it as
+Isabelle/VSCode and starts the application.
+
+* Command-line tools "isabelle electron" and "isabelle node" provide
+access to the underlying technologies of VSCodium, for use in other
+applications. This essentially provides a freely programmable Chromium
+browser engine that works uniformly on all platforms.
*** HOL ***