Update HEAD Doxygen documentation.
Source commit id: 7835369fd8684568aa07a85686c556e2891d2897