Update HEAD Doxygen documentation.
Source commit id: b32ec8d081572b7ba9c44b07e0c719e8f88b8635