Fix coredev highlighting when a user has non-ascii characters in their name.
Merge pull request #5 from bmispelon/master

Fix coredev name highlight