Manmohan Singh's demise: Is it a bank holiday today?