Re: [GHC] #8881: No way to unsubscribe a bug