Re: [GHC] #4817: Missing new flags description in the user guide