[josephcsible]

This isn't related to that, and the same thing would have happened no matter where it was hosted. It was a DMCA issue, not Microsoft giving themselves special treatment with GitHub.