Mirror of haddock repository. DO NOT SUBMIT PULL REQUESTS HERE