DMCA takedown notices and counter-notices received at GitHub