Update and rename info.ss to info.rkt