Update HEAD Doxygen documentation.
Source commit id: b634da981d1f48d7bf88333effd47baf12381135
8783a0e3e4d6ac3799f56a4d5615c34e7ba80c2b
d78babf38ef4f5c0d87b463f28276d6bab497b6a
33262877c76df45aefa92fff6daeaeec58034682
a2231cce19ee37c7a988016e0b3efcbc1cb90e9b
61e2425eff0981955d0211f3589c32a948b33bd5
b8b2bb9dee9525392c34da357131da66e2415059
40cd608616e2dbc2048a756e7c1891242f72bf59
5d6158f46ca8c39873a2b96dad7750ddbb589981