Update HEAD Doxygen documentation.
Source commit id: a6122714616e22867375d3d5b0272327661a8eaf