Added attempt at mapping github users to mention names