Improve the index update

- Monitor users disconnection and remove them from the index
- Use smaller messages when the index changes
Update consistently the index client side
Add a "What about the name" section to the README