How should whatever tool you're using handle the case when another person is editing the document at the same time as you?