More work on the user's guide.