The two-locks framing makes the whole thing easy to follow, and using the Web Locks API for leader election is a neat fit for this problem. The hub/follower split with a virtual WebSocket relay is an elegant way to keep every tab believing it has its own connection. The honest 'what it does not fix' section is appreciated too.