Update HEAD Doxygen documentation.
Source commit id: 830498085bdd3b7f053b90b88e6058e46c7c4bb9