Browsing: is the government shutdown over