I'm first getting a 302 that redirects me to "https://www.sec.gov/core/install.php" which has the 404. So not just down, but running some old janky drupal 10 php web server.