GnuTLS, copyright assignment, and GNU project governance

My point is that there is *no* shame in resolving an accidental GPL infringement. It's a matter of how you bring the message. You could even just make a list of entities using free software, with non-infringers and ex-infringers in a single list. Just to show where and how often free software is used.