You're right they do differ. I in fact read this article (before my first post), noted a bunch of unsubstantiated claims with literally no proof and filed them in my brain as not evidence of an earlier sub 4 minute mile. Particularly a sub 4 minute mile from the 1700's.