Edit gator-conf.js