Documentation: document the example environment

Also fixes a few minor errors in the documentation.