Re: [GHC] #13661: User manual warnings