haddock URLs less broken in the next version