replaced with wget'ed grader.js