Thanks for the pointer: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=376431
It seems a bit questionable but not an open-and-shut not-open-source license.