New user’s guide. Now in doc format.