20200717 india: Quick reboot at country's biggest computer market