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