Re: [GHC] #2773: Documentation mentions deprecated flags