Update HEAD Doxygen documentation.
Source commit id: 5874cc47805396b806f78b614a567d7fee82078f