Oh, they edited it in the last 8 minutes. I was copy pasting from the wikileaks post in my comment and still have a tab open where they used "have" instead.