Update HEAD Doxygen documentation.
Source commit id: 07724e8a4560eecd6bd464308094182a4bceec39