Gratuitous:
On Thu, 19 Jun 2014, omd wrote: > That said, as the precedent of the recent Referee case reminds us, the > Referee's behavior is almost entirely discretionary, so it doesn't > matter what e deserves; this case should be DISMISSed as irrelevant. I disagree here. There's no reason a judge can't opine on what sort of punishment is "deserved". Setting that sort of thing provides possible guidance to the Referee (yes of course e can ignore this), and has been very useful in the past at standardizing punishments. -G.
