Refs #9036: display user_real_name instead of email address

The email address should not be visible in the History page.