src/Tools/VSCode/extension/src/completion.ts

--- a/src/Tools/VSCode/extension/src/completion.ts	Sun Mar 06 22:13:18 2022 +0100
+++ b/src/Tools/VSCode/extension/src/completion.ts	Mon Mar 07 12:37:03 2022 +0100
@@ -1,3 +1,8 @@
+/*  Author:     Makarius
+
+Support for PIDE completion information.
+*/
+
 'use strict';
 
 import { CompletionItemProvider, CompletionItem, TextDocument, Range, Position,