Update HEAD Doxygen documentation.
Source commit id: 931acfb5ba5d13b0e85ee59e8b86027093cd5338