Update HEAD Doxygen documentation.
Source commit id: 0539b4cb8b195e392e9a5857df3d6dcfacaea6ca