Ordinarily, when there's a leak in an underground natural gas pipeline, the affected section of pipe has to be excavated and replaced. Soon, however, a pipe-inspecting and -repairing modular robot may ...