Update URLs in source code to point to the new pages. Get rid of the headers and footer in the Doxygen-generated documentation.