Re: How to coordinate Haddock MR with GHC MR?