"On top of that, the lawyers sent a DMCA notice to GitHub, which caved in and took it down. This is despite GitHub's recent promise not to take things down without first alerting the users in question."
