The old pond leaks and is getting clogged up with vegetation and before long will disappear completely. So once we’re sure there are no nesting birds (such as moorhens) we’ll get in there with some spades and dig it out.
This is what it looked like in 2018.