Christopher Schmidt wrote: > Oh, really? I had assumed the 10-16 -> 10-17 file would have to cover > it, since the Planet dump couldn't have started before 10-17. > You're right, I was off by a day.