grader.js JSON output cleanups