Is Delhi really shutting down on Nov 1? Here’s what we know so far.