Bornstein. Yes, it comes down to whether the remarks are sarcastic or not, which you can't really be sure of via text. So the decision is which is more likely: Player saying GG, thus admitting defeat, and either forgetting to disconnect, or coincidentally having his server go out (which is a little too far fetched for me), or possibly a server glitch after he disconnected (I think we would have heard more about this happening though); or the player making a sarcastic comment which is very consistent with the following disconnect. To me it seems a bit more likely to be the latter.