Update HEAD Doxygen documentation.
Source commit id: 7a4ec854d1ffc28d6f3802dec5b9819275708154