[kragen]

that's great! possibly the link you meant was https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078132

that seems to be from only a few weeks ago though

it doesn't seem to have come up on debian-legal in the last year or so https://lists.debian.org/debian-legal/ but debian-legal is also kind of a shadow of its former self

[InfiniteRand]

Notably in that bug report the reporter says they cannot maintain it (not that I blame them, not a small work)