Fix links to HTML documentation.