When registering a device using OTP with Citrix Cloud, you might receive an error "user not found" after putting in username/password but before putting in a token.
If you are only using Active Directory without Token with Device Registration, there is no issue logging in.
Mail Attribute is required in order to send the email with Token for MFA. If this attribute is missing or incorrect the login will fail.