Added line about modifying config.rkt.