Source of gridsearch.js: