A number of parameters that configure the coderbot are stored in coderbot.cfg. This file is generated from the data in an HTML form in config.html and therefore should not be edited manually (because the changes will be overridden).