Big commit.  Doxygen-generated html output.