Should I change user to `users`?
The phrase: `you could allow the user to set the default value in the configuration`.