Add the real name of members to profiles

Ward Theunisse
2019-09-17T12:10:21+02:00

/label ~feature ~"priority: low" ### One-sentence description Add the real name of members to profiles ### Motivation Because you cannot see who someone really is. ### Desired functionality Add the real name of members to profiles. ### Suggested implementation Some text.