In message , at 08:49:15 on Sun, 11
Apr 2021, Marland remarked:

Meanwhile the utility industry is quietly getting on with replacing old
Iron gas pipes with plastic as leaks as well as being hazardous also
contribute to green house gases even if unburnt.
There is a lot of experience out there in digging the ground.

And having lived in an Edwardian suburb where they re-newed the gas
pipes, the effort required and disruption caused was extraordinary!
--
Roland Perry