Add info.rkt file to unbreak on HEAD.