Doxygen re-rendered (again)