RIP Pirate Bay founder Carl (CARL)