Update HEAD Doxygen documentation.
Source commit id: e03f12ca53b6f6bf82ab6f988670c8d3cc91e8d1