Doxygen-generated docs.
Doxygen-generated docs.