the 1998 Digital Millennium Copyright Act (DMCA), whose Section 512—the “safe harbor”—says that online companies aren’t liable for their users’ copyright infringements, provided that they “expeditiously” remove their users’ materials after receiving a complaint.

