Update HEAD Doxygen documentation.
Source commit id: 416e9bce05653ec8c9391e972ee0b50677275d87