adjust info.rkt files for recent commit