Synchronizing playback state across multiple devices or User Agents is really, really hard. 's written up an explainer that proposes an addition to the existing Media Session API that facilitates the synchronization of playback state: github.com/WebKit/explain…