> From: "Fredrik Linder" <> > 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