Add links to documentation in HTML header files.