A *long* time ago, I went through a chain of contacts and got to someone who had the authority and desire to take care of this. I don't remember the details: whether they said they'd do something (relicense or a letter or whatever) and it slipped off their radar, or if their email was sufficient and I forgot to put it in debian/copyright, or what. But I do remember I was not worried about it.
So I suppose I will have to dust off my email archives from ... longer ago than I care to think, and try to figure it out. Anyway, thanks for pointing this out. --Barak. -- Barak A. Pearlmutter Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland http://www.bcl.hamilton.ie/~barak/ -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org