Re: [GHC] #15261: Show -with-rtsopts options in runtime's --info