Update HEAD Doxygen documentation.
Source commit id: 40721a7900b5e082c0fd19996a52b337ded2bec3