It could be separate, but it's small and doesn't cause issues if you don't set jslint.options. (Plus, I actually removed the `/*jslint...` on a couple of files.)

This is one of my favorite parts of the pull request :grin: