Doxy: doxygenified comments