Please document the `user` param.

```
/// <param name="user">The login of the user</param>
```