Update HEAD Doxygen documentation.
Source commit id: 7351003d855126eb4afd0b84a6fea57be135b349
1953b7ffebdd5277a8fc3bfefcc5d714aeb6608e
2813abe5d2f2716f1bb0dcf71e0eba8bc2e3e8aa