Thanks for this; I was going to bring it up if no one else did. Yes, the average human eye is sharp—acuity of just under a hundredth of a degree—but not sharp enough to need that resolution at such distance.