Update HEAD Doxygen documentation.
Source commit id: 6f8142df31a37eab1c15fa91d9012b4e3bb9d9bc