User information and settings in Jenkins