a PeerTube player
