Added info type.
Obvious comments are obvious.
Added description.
Rather than lint on ~every keystroke, wait until the user has stopped typing for 650ms. No more scenarios where the linter is being triggered ~10-times in a row before the first lint job finishes.
Fixed bug in which saved event subscription would not run lint() when end users saved via the menu or shortcut.