Update HEAD Doxygen documentation.
Source commit id: 20a51eb5e2a51adf2f01c5c09543a1511f4f1f2d
627531efb5d372b00d04c5905b6f94f71f0daaa1
6181fe3961c67a33b956fc5862bb65bab2e824f8