> From: "Fredrik Linder" <fredrik.linder@REDACTED> > Will you also allow // as an alternative to %? would this be beneficial? (ie, is the profit of 2 different comment-until-end-of-line markup signs bigger than the cost?) bengt