HEAD is now at 990e72d Updated Doxygen link.
990e72db81ccf2c68bba20eebda4eefc890e251b