Update HEAD Doxygen documentation.
Source commit id: 25bb6cb9e88b4cc7d7845c159403b9ac8d89a8b8