Doxygen setting tweaks, primarily