Jenkins: in the user menu