* Converted the HTML documentation to Doxygen so that everything ends up in the same document. Plus, Doxygen's C++ pretty-printer is very nice for code examples.