On Thu, 2013-11-14 at 14:26 +0100, Neal H. Walfield wrote: > At Thu, 14 Nov 2013 13:56:30 +0100, > Svante Signell wrote: > > > 1. Do you consider the comment describing which symbols are pulled > > > from the header as noise or worthwile information? > > > > Very useful! > > No. This information gets out of date.
Not if it is automatically updated regularly. I thought this was the intention from Justus.
