Update info.rkt.