Having these two strings different means that translators have to translate both of them. Would be a bit more ideal if they were the same.