updates to the section describing the +RTS -s/-S output (#3211)