On Tue, 4 Sep 2018 13:30:30 +0200 Pavel Machek <pavel@xxxxxx> wrote: > I'd say this is still quite valueable, and it might be worth fixing, > rather then removing completely. I agree. Perhaps we should have a 00-DESCRIPTION file in each directory, and each file could start with a: DESCRIPTION: <one line description here> and then these files could be generated by those that have these tags. -- Steve
