Tweak +RTS --info docs