Update HEAD Doxygen documentation.
Source commit id: 517d08f6fe2bfff80695cf87b661cd9784c308c1