FIX #1891 (describe +RTS --info output in GHC user guide)