Update HEAD Doxygen documentation.
Source commit id: 7c4bcc7f9029f5924b0907e5dc88e728561d179e