An example config file, JSON encoded