Fixing another broken link to Doxygen page