Re: [GHC] #12870: Allow completely disabling +RTS options parsing