It's good that they have cleared the White Rabbit pond as well because it makes sense to clean the two ponds at the same time.
Last year they forgot to do it so I sent an e-mail request asking them to clear the sand out of the White Rabbit pond and they eventually did but then forgot to put any water in the pond. It actually just filled up with sand again and rainwater!