Update link to HTML documentation