Fix the Haddock documentation of the entire library