Issue #838: Display user fields as proper names instead of internal user IDs in the CSV export
Done.