Comment by jedberg

Nowadays I'd agree with you, UTC is probably the best bet. But back then, it wasn't.