“mini player” is another name for Picture in picture.