As Jannik Sinner defeated Novak Djokovic in Shanghai, thus extending his lead at the top of the world rankings to a massive 4,000 points, tennis royalty looked on.