"""Playback helpers (web-player play logging)."""