Doxygen-generated docs.