OnDemand email and search-index delays (cont'd)

RIght now it looks like this was due to some difficulty in handling a particular time zone (unrelated to the DST changeover). Developers have rolled out a patch for this bug, and we'll be watching this over night for any recurrence.