I think Florida might be one of the states that you can set an alert for whenever a company you're tracking sends in a filing. So, it's not exactly covert.
And, at any rate, it was to take place on 6/21, so who knows how the company was going to address it before that date if someone didn't find out about on their own.