People here do seem to miss that they added this relatively big feature. The problem for Microsoft is that Google Docs also has collaborative editing, and in my experience, it actually works better.