It's a bit more complicated than that because Reddit now automatically tries to translate comments not in the user's language.