Update HEAD Doxygen documentation.
Source commit id: 801baa51af8769feb48c0ecbf275c2a1c058fc3c