Update HEAD Doxygen documentation.
Source commit id: 9e5c88a69b2906d940e024fb14ff46ed0868c15f
a6db3723baf291d2e11c8b1858dfa1776f07d913
c9b4cc9938dd6b7be1ab609a8993a40fa05a4ac9
3e619b9b42d32a4cb3c5ded5d9e77beda0dc8a2d
b9904302fc0cb9a66f467ef20028f5bf00baba97
83d14f1a81237e4f503ea4af5cdaa8d4276c8495
9b320e57194c2d4ce696a1f2fa016b7b52f64158
f6a3013ed572e715aa69426af6eb58b354f191e6
c88d15c865813ff51aa27cac5fcebdb508358a35
8c395a7cad50ec0e56ecec8c24cf214ac8e8adf2