rteplayer-dl (pypi): Helpful python project to download videos from RTE Player.
Keywords: rteplayer_dl