Document --info in the +RTS -? help