Update HEAD Doxygen documentation.
Source commit id: 17fc44f24709c5660ab757f2460a4c1bbcfadc03