Update HEAD Doxygen documentation.
Source commit id: d777a088265f61c3b46cfb91231dc8128bb9fe4f