I agree. What exactly needs to be translated here? Why can't this just be made a Unicode string? If I understand the issue properly the problem is that unicode names don't get formatted into these strings properly, that should be fixed by just making these strings into `u""` strings.