Update HEAD Doxygen documentation.
Source commit id: a5b7af045edd1ed3aecaf4d491db01ac7d660bd5