I – as perhaps many other Federer’s fans – have made peace with him ending his career with five US Open titles.