On 6/3/06, David Benbennick <dbenbenn at gmail.com> wrote: > If no one says otherwise, I'll plan to restart the bot next Saturday, > June 7, and allow it to run at full speed until it's done. Make that June 10, not 7.