Update HEAD Doxygen documentation.
Source commit id: 8f0a7b0a9e4221ef6033978fc81f75e75eaa4b40