The New Street Gasworks and Edinburgh's gas industry (Scottish Historical and Archaeological Internet Reports, 2022)