Using the HTTP Live Stream directly

…well I just noticed the player in fact does expose a global player variable which allows controlling the player.
I think that’s good enough for my purposes, but I’d still be at least interested in the answer to my question.