[ivalm]

Atomic radius of helium is smaller than hydrogen 31 vs 53 pm. Hydrogen gas is also typically in the form H2, which is much larger. At the same time ofc oil pipelines will still be too leaky.