Re: [GHC] #8988: Documentation build fails if GHCi is unavailable