Update HEAD Doxygen documentation.
Source commit id: 5dea040d174170e5b7e5e2c3237551a33db664dd