Reminder to decoders using timestamps: We are in daylight savings time here in U.S. So in timestamps of Trump tweets, it should be EDT.