Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses?

> > In case my opinion counts:
> > 
> > I think AGPL is common enough and will still save developer time if
> > added to common-licenses, even if it's not present in the absolutely
> > minimum Debian system shown by Chris.
> 
> This is a different concern that can be solved with better tooling to
> generate the copyright file, by automatically including the AGPL when needed.

However, that was never the idea of the original report, and not what I would
like to do.

Does somebody else believe that adding 30k to base-files is too much because
there are not packages in the base system using AGPL?

AFAIK, "common licenses" means just that, common licenses, not "common licenses
in the base system". I believe we would still benefit from adding the AGPL.

Thanks.