Update HEAD Doxygen documentation.
Source commit id: 8e3595117ff75588a9bc1daf51162e416ed0fd6c