Editorial: tweak grammar in the definition of "or"

Add a description of Editorial: tweak grammar in the definition of "or"