Change Zulip users email address

su zulip
/home/zulip/deployments/current/manage.py shell
from zerver.models import UserProfile
user = UserProfile.objects.get(email="userNN@example.com")
user.email = "correct-email@example.com"
user.delivery_email = "correct-email@example.com"
user.save()