undo info.rkt updates for 5.3.5 compatibility

Revert "update info.rkt"

This reverts commit 10f587458215e72858ab9b209cbba81b48091bae.