tuned comments;

--- a/src/Tools/VSCode/extension/src/library.ts	Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/library.ts	Wed Mar 02 15:46:08 2022 +0100
@@ -1,3 +1,8 @@
+/*  Author:     Makarius
+
+Basic library (see Pure/library.scala).
+*/
+
 'use strict';
 
 import * as platform from './platform'

--- a/src/Tools/VSCode/extension/src/platform.ts	Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/platform.ts	Wed Mar 02 15:46:08 2022 +0100
@@ -1,3 +1,8 @@
+/*  Author:     Makarius
+
+System platform identification (see Pure/System/platform.scala).
+*/
+
 'use strict';
 
 import * as os from 'os'

--- a/src/Tools/VSCode/extension/src/symbol.ts	Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/symbol.ts	Wed Mar 02 15:46:08 2022 +0100
@@ -1,3 +1,8 @@
+/*  Author:     Makarius
+
+Isabelle text symbols (see Pure/General/symbol.scala).
+*/
+
 'use strict';
 
 import * as library from './library'