Update HEAD Doxygen documentation.
Source commit id: 3d2b8f28e15fb0bdc1f781171f6307128fc8776c