Interesting that this story is dated July 1 yet you waited three days to post - AND/OR - incorrectly put today’s date at the top of your post. Just looking to stir things up, I see.
It’s not that interesting, really. I just got the date wrong. But you’re free to make of it what you will.