Update HEAD Doxygen documentation.
Source commit id: ec02753d92442d57afeccfdbcfa624f7dccff664