So not only we had someone cheating a win at worlds, but we also had a punishment that further damaged the integrity of the whole tournament since player 1 opponent in the game 4 (someone who at that point was 3-0 and at the top tables) got a free win.
That's actually bothers me more than player 1 not being DQed...