Update HEAD Doxygen documentation.
Source commit id: 728e269629a66ecabc87d11c195fb2ef469153fb