That would be the Google Drive Realtime API, https://developers.google.com/drive/realtime/, discussed at https://news.ycombinator.com/item?id=5403021. I don’t know enough about either of them to know how they compare.

Edit: Actually, they’re really different things.

You must be mistaken, the Mozilla thing is aimed at helping users.