From a reader:
First, love your columns and your corner contributions.
Second, since NRO is one of the few places online that is consistently careful with its use of language, I wanted to register my pet peeve of people (including now, unfortunately, you) misusing “standard time” and daylight time”, and writing 12:20 EST when in fact we’re in the middle of daylight time, so it should be 12:20 EDT (or, more colloquially, 12:20 eastern).
thank you for your consideration.