Re: [GHC] #11996: coverage checker iteration flag isn't documented outside of release notes!