Ah, I'd missed that. Thanks, David.
It would still be nice to handle the unlikely case of the log all of
sudden growing really big immediately after being rolled. Hm, I guess
we could parse the time/date stamp from the first line every time, and
compare that to our saved lastread_time in order to decide whether the
log has been rolled. That's the only thing I can think of.