Update HEAD Doxygen documentation.
Source commit id: bca39143a4018a1e38c017dd47f5b7406c62ac2b