This is kind of funny/not-so-funny, and just demonstrates that although we sometimes look at the zeroes in the fines handed out to big tech for infringements of all sorts and think they’re big numbers, it’s absolutely a drop in the bucket. It’s the very minor cost of doing business. It’s a bit shocking, really. Seven days and 3 hours.