Update HEAD Doxygen documentation.
Source commit id: f1206838102e51bb13e1cd63f4db7ba3fe25f348