Ahh, the relationship with this PR is that `jslint.options` was one of the first things I did because it irritates me that we need to have `/*jslint` at the top of every single source file (so a couple of our source files no longer have it). And I happened to have a for loop in one of those liberated source files, so I put plusplus in `.brackets.json`. Then Jason noticed that .jshintrc didn't match and made the change there.

I don't think we're going to suddenly start `++foo++`'ing everywhere as worries Crockford.