4 ms·

I don't know about this shutdown, but in past shutdowns, many non-essential .gov sites just pulled the plug for the duration.