On 1/12/15 12:05 AM, Jacob Carlborg wrote: > On 2015-01-12 02:24, Andrei Alexandrescu wrote: > >> Problem is not that, but instead the repeated description. -- Andrei > > How about folding symbols with the same documentation, like "ditto" does? I used "ditto" to generate that. -- Andrei