Re: trait for (ddoc)-comments

[bearophile]

David:

So no official word to it?

Why don't you write here a list of possible applications (use 
cases) of your idea?

I hope Andrei will comment a little. It's a very simple additive 
change, and it looks useful.

Bye,
bearophile