Leaf removal for pools