> I think the download text would warrant correction.
Yes.
> I just naively assumed it to be automatically generated in
> correspondence with reality.
This is an excellent suggestion. Not sure how to implement that
easily, but please open a tracker issue so that the idea is not lost.
Werner
