Doxygen re-rendered. Quite a few (tiny) changes.