> Does it look like perhaps it's an artifact of automatic translation from one source to another? Not that I can see. But I can't see how it could be anything

> Does it look like perhaps it's an artifact of automatic translation from one source to another? Not that I can see. But I can't see how it could be anything else: I hope nobody is going to painstakingly insert " " manually everywhere.