Years from now, there won’t be any notations in the record books to indicate just how much pain Derek Jeter played through as he passed Willie Mays on his way to 10th place on the all-time hits list. But those who were around this weekend ought to make a mental note to remember it.