History will record that Pep Guardiola changed football in England. But it took Ederson for him to do it here. As the Brazilian departs Manchester City, it is a chance to acknowledge the role of one of the most significant footballers of the modern game.