Update HEAD Doxygen documentation.
Source commit id: 4262e2895c08f8aadd6d76d73b735ff941102285