tuned message;

--- a/src/Pure/Admin/build_vscodium.scala	Sat Mar 05 21:14:35 2022 +0100
+++ b/src/Pure/Admin/build_vscodium.scala	Sat Mar 05 21:30:49 2022 +0100
@@ -42,7 +42,7 @@
         Isabelle_System.download_file(vscodium_download + "/" + version + "/" + download_name,
           download_file, progress = progress)
 
-        progress.echo("Unpacking " + dir.expand)
+        progress.echo("Unpacking ...")
         if (download_zip) {
           Isabelle_System.bash("unzip -x " + File.bash_path(download_file), cwd = dir.file).check
         }