Update HEAD Doxygen documentation.
Source commit id: 3c357a820952f9ee4d3cd376205f04c484f66ab7