Comment by crumbshot

And not even purged from the repo, it's still in the history if needed. Seems like the copyright holders making a big fuss over nothing really.