Source code
A better main page for doxygen in mainpage.h, which is now a static file and
not auto-generated.