JSON Lint: What It Checks and How to Use It