Fortunately, all of tools/auto_bisect/ is the old, deprecated bisect system, which the new bisect system has been slowly replacing over the last year -- so very soon we should be able to easily remove all of tools/auto_bisect.

Prasad, how soon can we delete it?

Even if it takes a while to delete all of it, it'd be good to delete obviously dead code before then (since all code that's checked in and unused can confuse people -- me, for example :-) )

Yeah -- actually builder.py is only used for building locally, which we haven't been doing for a while, so that code is indeed dead.

If we can delete the whole thing within about a week, then that'll be a bit simpler; otherwise let's make a change first to delete builder.py.