Various updates of the documentation.
More additions and corrections.