jslint notifications