Update HEAD Doxygen documentation.
Source commit id: ad022419b454258e3f5b49b97cc35b43851a10f5