(for those whose instinctive response is ‘well duh, it is debian-legal’, I unsubscribed… jeez, most of a decade ago now, and may have forgotten how maddening it is. Apologies for restating the obvious.)