Update HEAD Doxygen documentation.
Source commit id: f912b74a774a7a9b81ba7fce1d999de38e5dd263