Run EDGAR Run: SEC Dissemination in a High-Frequency World