tuned comments;
tuned imports;

--- a/src/Tools/VSCode/extension/src/symbol.ts	Mon Mar 07 12:40:36 2022 +0100
+++ b/src/Tools/VSCode/extension/src/symbol.ts	Mon Mar 07 13:45:09 2022 +0100
@@ -1,11 +1,14 @@
 /*  Author:     Makarius
 
-Isabelle text symbols (see Pure/General/symbol.scala).
+Isabelle text symbols versus UTF-8/Unicode encoding. See also:
+
+  - Pure/General/symbol.scala
+  - Pure/General/utf8.scala
+  - https://encoding.spec.whatwg.org
 */
 
 'use strict';
 
-import * as library from './library'
 import * as file from './file'