On Monday 19 June 2006 04:12, Uoti Urpala wrote: > > {} quite often is used for comments. Printing them at verbose level may > > be ok, but not higher. > > Maybe {}, but what about after '\'? This makes sense.