extensions/extension-editing/src/extensionLinter.ts/ExtensionLinter/startTimer
class ExtensionLinter:	private startTimer() {
		if (this.timer) {
			clearTimeout(this.timer);
		}
		this.timer = setTimeout(() => {
			this.lint()
				.catch(console.error);
		}, 300);
	}