Update HEAD Doxygen documentation.
Source commit id: 5951fc4f74cebcc22e4b9d447469ec6b6433d5a3