Update HEAD Doxygen documentation.
Source commit id: 6dce1dc145e58d3c2e7bfc4380a1bde61d2dde70