Update HEAD Doxygen documentation.
Source commit id: 7c9dbf1681ee2e84d856abe586c06be91c2202e4