Update HEAD Doxygen documentation.
Source commit id: 5f3677ffd6dc442f4382f9538e260ecc162d01da