extensions/extension-editing/src/extensionLinter.ts/ExtensionLinter/clear
class ExtensionLinter:	private clear(document: TextDocument) {
		this.diagnosticsCollection.delete(document.uri);
		this.packageJsonQ.delete(document);
	}