I agree with all of the above. People bang on about Messi being the greatest player of all time. That view is a fallacy. Players can only be the greatest player of their time and Pele was certainly that between the late 50s and early 70s.
His passing did, however, remind me of the wonder save Gordon Banks made against him in the 1970 World Cup. England did,of course, later lose to West Germany with an underdone Bonetti in goal after Banks was taken ill.