Renaming haddock markup