Who is making these updates if the government is shut down?

I like to imagine it’s literally Elon Musk, ever the site admin. Ever the internet mod.