Improve building of HeaderDoc documentation for contributors.