This message was deleted.

I think we used to do pruning, but then stopped as it was an extra point of failure.