Hi, the Haddock HEAD repository and GHC's Haddock repository have diverged quite a bit. I'm trying to fix this, so I'd appreciate if no one commits to the Haddock repositories until I've sent another mail telling you that it's OK to commit again. Thanks, David