index
index copied to clipboard
Index.v is racy
See https://github.com/mirage/index/pull/339#discussion_r669080547
If a process opens twice the store in RW mode, this could start a (destructive) recovery process on both side and let the index in an inconsistent state.