Re: Disable messages with GHC API