Fixing “Contributors” view, so that users with varying usernames and / or addresses are merged correctly

Question

Problem statement

The GitLab Contributors view in a project I help maintaining has been "broken" for a while now. Seemingly GitLab is inc