I refilled the pond after work. I’m very low on rainwater now, so this is pretty much the last test to see if it’s mended.