Bugs have been found: https://github.com/facebook/rocksdb/issues/7711 https://github.com/facebook/rocksdb/issues/7821 https://github.com/facebook/rocksdb/issues/7778 Are there use cases that will motivate against removal?