It has probably already been filed on Edgar just not shown up.
I’m going to check the procedure with the SEC myself tomorrow and I will post what they say. I’ll also get them to direct me to the correct page on their website so I’ll have a definitive link to post as well.
As you realise, they’re closed already for the day.
Market Data 
Markets 
AI
