Clarify the scope of library in `mvcc.md`.