Update HEAD Doxygen documentation.
Source commit id: a8b5ec73c2c7f2cc0ab3f96bbc909d826d6ace8d