Update HEAD Doxygen documentation.
Source commit id: 72c2ccb390bd1ce1fc40130628b68c1445e09607