Doc bugfixes, and introduction to main page written.