Our deletion routine is not super optimized but that does seem pretty slow. I wonder if RocksDB stops to compact the entire DB after not so many deletes (and then that takes a while due to the size)? My hope would be that this speeds up as the DB shrinks