Reorganized the documentation a bit.