Update HEAD Doxygen documentation.
Source commit id: 8064d0f5123853ac0d933a61d21e77bea4ef7f8c