Some minor editing of our home page.
Some editing of our user documentation.