⬇ - Redis LRUs your data     - I do expect that Redis is used as a persistent database, not as a cache.       The current implementation does not support Redis as a cache     - Though this is generally possible.       All database transactions are written as Lua scripts.       So we could do something like:         When any of the keys is deleted, remove all keys and start from new. - one of the servers is not available when the broadcast happened     - Redis does store PubSub messages for a very long time.       So it is not a problem as long as the server is able to reconnect.     - Currently, the Yjs instance is destroyed when disconnected from Redis. - or handle bringing up a new server     - The new server is able to gracefully join-in. The protocol is explained above