Re: [GHC] #15268: Clarify and test the interaction of -with-rtsopts and -rtsopts flags