tuned signature;

--- a/src/Tools/VSCode/src/build_vscode_extension.scala	Tue Mar 22 19:08:47 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscode_extension.scala	Tue Mar 22 19:19:09 2022 +0100
@@ -140,7 +140,7 @@
   lazy val extension_dir = Path.explode("$ISABELLE_VSCODE_HOME/extension")
 
   def uninstall_extension(progress: Progress = new Progress): Unit =
-    VSCode_Main.run_cli(
+    VSCode_Main.run_vscodium(
       List("--uninstall-extension", "Isabelle.isabelle"), progress = progress).check
 
   def install_extension(vsix: File.Content, progress: Progress = new Progress): Unit =
@@ -148,7 +148,7 @@
     Isabelle_System.with_tmp_dir("tmp")(tmp_dir =>
     {
       vsix.write(tmp_dir)
-      VSCode_Main.run_cli(
+      VSCode_Main.run_vscodium(
         List("--install-extension", File.platform_path(tmp_dir + vsix.path)), progress = progress).check
     })
   }

--- a/src/Tools/VSCode/src/vscode_main.scala	Tue Mar 22 19:08:47 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_main.scala	Tue Mar 22 19:19:09 2022 +0100
@@ -19,7 +19,7 @@
   def server_log_path: Path =
     Path.explode("$ISABELLE_VSCODE_SETTINGS/server.log").expand
 
-  def run_cli(args: List[String],
+  def run_vscodium(args: List[String],
     environment: Iterable[(String, String)] = Nil,
     options: List[String] = Nil,
     logic: String = "",
@@ -163,9 +163,9 @@
 
       val (background, progress) =
         if (console) (false, new Console_Progress)
-        else { run_cli(List("--version")).check; (true, new Progress) }
+        else { run_vscodium(List("--version")).check; (true, new Progress) }
 
-      run_cli(more_args, options = options, logic = logic, logic_ancestor = logic_ancestor,
+      run_vscodium(more_args, options = options, logic = logic, logic_ancestor = logic_ancestor,
         logic_requirements = logic_requirements, session_dirs = session_dirs,
         include_sessions = include_sessions, modes = modes, no_build = no_build,
         server_log = server_log, verbose = verbose, background = background,