Gas!

Woke up to someone banging around outside. Turns out there's a gas leak in the main pipe into our house (well, the neighbour's house and ours). Earliest it will be fixed will be Monday. Looks like we're in for a cold few days ahead.

This is the state of our path after the workmen dug up the piece of corroded pipe that led to the leak.