> I wish they hadn’t changed their name from the more evocative “International Earth Rotation Service”. It used to make me think, “What if we stopped paying the

> I wish they hadn’t changed their name from the more evocative “International Earth Rotation Service”. It used to make me think, “What if we stopped paying them and they stopped cranking?” They always had the single most impressive name for any organization, anywhere. It's a shame it changed. Edit: typo