Add info.rkt.