Even if there are other overzealous prosecutors in general, getting rid of this one would be an important message. So this is an important step, even in the absence of practically impossible outcomes like decriminalizing copyright infringement.