Update HEAD Doxygen documentation.
Source commit id: 0724b5c50028aee0dcbc64b70eecde5210ee88b4