Update info.rkt for v1.3