add info.rkt files