Treat info pages in the same way as manual pages.

Also comment the sanity check code for now.