Removing many miles of pipe to swap out a drill bit at the end is slow and seems rather inefficient.

Which suggests just leaving the old drill bit somewhere in the ground. But currently doing that would also involve removing the pipe, as to why: https://news.ycombinator.com/item?id=43371776