same here, couldn’t live without it.

btw: it’s also possible to go to fullscreen mode, then go directly to the home screen so that the pop-over player is activated, then the video keeps playing while the screen is looked, with controls working from the lockscreen.