Re: [GHC] #15773: User Guide contains confusing information about `-rtsopts` modes. (was: User Guide contains erroneous information about `-rtsopts` modes.)