The market is open, but I think the SEC is closed. EDGAR shows only Friday filings, we may have to wait till tomorrow.