I had to access the IRS website to download a tax form, during the shutdown. I had no problem.
They must have forgot to unplug that webserver.