Bug mention: Subtitles of the pinned video player are of the same size as the main video player’s ones, instead of being proportionally scaled to the size of that video player.