In the last four years we have been using Vaadin (currently 8 and 14) for different products generating a 7-digit revenue and are generally happy with it. Now my colleagues tell me they want to switch to alternative frameworks because Vaadin cannot be used in the cloud without sticky sessions. They have tried redis and Hazlecast. Our devops simply refuse to give us sticky sessions. Is this where we have to say goodbye to Vaadin or do you have suggestions?