Online chess and OTB chess are not the same. This is a mistake many people ITT are making. If they can prove that he cheated OTB (especially if they can prove he cheated during that now infamous game against Magnus Carlsen at the Sinquefield Cup, which is what set this whole thing off in the first place) then by all means he should be banned but until then let's put the pitchforks down.