Thank you very much for all the replies. It has been a real learning
experience. Now my only question is: What do I do with the algae I
still have on the liner? Should I refill the pond, and leave it as is
for spring, or refill and use a treatment of some kind, then drain and
refill one last time?