Update HEAD Doxygen documentation.
Source commit id: 8cf72fbd14a3e53deb8d74f526f5b009be642ae1