Fix coredev highlighting when a user has non-ascii characters in their name.