March 27, 2022
1:39 p.m.
'Autocorrect in @washingtonpost <https://twitter.com/washingtonpost/>: "Gare de l'Est" becomes "Gare de l'Eastern time." Article by @Claremch <https://twitter.com/Claremch/>, "How Russian emigres scratched out a living once they lost their world of riches." Also an editing lapse of course, and no, I couldn't find this article online.' https://twitter.com/Seth4MC/status/1508059818598219777 (Not-so-fun fact: in one round of C language standardization, it took months of repeated effort to get "time zone name" changed to "time zone name or abbreviation.") @dashdashado