How's the shutdown going to affect Twitter's IPO?