Re: HEADS-UP: haddock.git to be turned into submodule soon