Update HEAD Doxygen documentation.
Source commit id: de35c5440f75d2c45c9221f52bd83be914799853