gnome shell extension to play videos in a series