> > (I am not seriously proposing unbalanced comments, but for > > longer documenting comments we may want to consider, > > omitting the asterisk?) > > If this is not a serious proposal, then I'll stop wasting > everybody's time. I proposed two things, one of which I was not serious about. The other has downsides as both you and Peff point out. So living with comments may not be the worst after all. I'll read&reply to Aevars proposal now.