One-editor-at-a-time prevention against overwrites does not work reliably. Sometimes I see the warning when a page is edited by another user. However, when I then click edit, I can change the document anyway. Most of the time the warning does not even appear. Is this is a bug? The warnings in the WordPress blog post editor work well.