Pruning of redundant map data objects cannot yet be done, due to the problem of their original indices being used as references to them in several ways, which have not been updated accordingly. As this is quite a lot of work I've simply disabled the pruning for now.
Pruning of redundant map data objects cannot yet be done, due to the problem of their original indices being used as references to them in several ways, which have not been updated accordingly. As this is quite a lot of work I've simply disabled the pruning for now.