Update HEAD Doxygen documentation.
Source commit id: 8ed946dd61b1f62a4efc16f23350d2735ba6cea3
83406fb6d2f5bedbce4b49446300d8ccbe686436
9aa3a90dbb79a9ca96aa16266d0ea5f6922b414a
396c0d5a45b41f22e443e411c4469de8ed0e395f
5a49dadc8996ee360ceeb74fa741fea33915059e
f5c05837be8d17b5990ec242323526180e73b3b2
42108044af82c97c57f8a70bfe3b98f6bd264e73