3 ms·

Agreed. However, I bet Indian Standard Time will become a lot more of a common term over the next decade.