Update HEAD Doxygen documentation.
Source commit id: cedb0e459cf20604590a7b85bb61988033dc334d