Effortless State Synchronization for Web Extensions