db: speed up destroying pages with indices
See #226 (closed) for benchmarks.
This was not an issue so far as we did not try to destroy many pages in one go.
See #226 (closed) for benchmarks.
This was not an issue so far as we did not try to destroy many pages in one go.