Comment on Reddit must share IP addresses of piracy-discussing users, film studios say