I wonder, does this risk spilling over to GitHub? If Craig goes after GitHub for sharing the content with folks from the UK.