tuned comments;

--- a/src/Tools/VSCode/src/component_vscodium.scala	Sat Aug 30 13:45:06 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Thu Sep 04 12:23:18 2025 +0200
@@ -3,6 +3,8 @@
 
 Build the Isabelle system component for VSCodium: cross-compilation for all
 platforms.
+
+See also https://github.com/VSCodium/vscodium/blob/master/docs/howto-build.md
 */
 
 package isabelle.vscode