Update HEAD Doxygen documentation.
Source commit id: a7f76ee657b73d26fdb7d8be6b7f26c1c38d3ed7
3e9b9984fbb9705c55369073643d9d5780c3eb9f