doxygen successfully set up (i think)