Not much to report. Liner was taken out, together with two toads and one frog. An assortment of reasons for the leak (which was the reason we were doing this) were found, although the leak itself wasn't. Not helped, of course, by the fact that to fully drain the pond, we had to puncture the liner in several places to let the last few inches of water out. By the end of the day, the pond was reshaped (the deep end was moved, and it was widened in places) and a concrete rim was laid around the edge. We estimated the new volume at around 50% greater than the previous volume (though the previous volume was a bit of a myth, seeing as we never managed to fill the pond completely, as the level would drop so quickly). Most of the increase in volume is due to additional height - the water level will now come right up to almost the level of the surrounding grass.
And it didn't rain, well not until the night, when it bucketed down like there was no tomorrow (there was, as that's when I'm writing this). Despite the lack of rain, the very bad cold I've got - since yesterday - meant that I stayed indoors most of the time while John and Steve, the two guys doing the hard work, did the hard work...
If I wasn't so lazy, I'd post before, during, and after photos. They'll have to wait until the during's done, and the after's settled in...