Update HEAD Doxygen documentation.
Source commit id: 14e41c42d928893c9776a13359c75ca83c82d8d7
39890d07f84b6e77ce5f0593d09d4f331441af73
b2b18868f9b9f3667277b9d2a252a84ea2caa6ce
abd15109e976d913cd150ae274fde76bb3be3821
8d9e84c0f6f28db4e07d225e93743963ffa6d71e