Bug report for "big manifest" problem

[Greg Ward]

>> Either way, I have got the impression that this is fixable, but it's
>> not easy.  So should we have an entry in the bug tracker for it?  If
>> no one objects or points me to the existing bug report that I could
>> not find just now, I'll go create one.
>
> Not that I'm aware of.

OK, now we can talk about "issue1716" instead of "the big manifest problem".

Greg