I don't know the specific implementation mechanism -- just guesses. But that doesn't mean my observation of the behavior of the bug is unlikely. And also -- t

I don't know the specific implementation mechanism -- just guesses. But that doesn't mean my observation of the behavior of the bug is unlikely. And also -- there is not a hard requirement that only one editor exists -- the same user could use multiple devices at the same time. Consider that and you might find your assumptions to be invalid.