Lots of new documentation, a few more examples, and a few small bug fixes