Comment by mikeflynn

Looks like the post was later updated with details about this was a nothing burger.

I'll edit the title.