Minor corrections (in comments).
Added .cshrc.user.