Update HEAD Doxygen documentation.
Source commit id: ce3d85c51b09c2b0704fe17bd40e5b515e9380fd