I will laugh my ass off if they lose any actual domains Some US government websites won’t load after HTTPS certificates expire during shutdown