all three can be seen as options. In the past I used packman. Maybe I now will switch to the official VLC repo (expecting it won’t affect the Leap 16.0 installation). But in the meantime I found that surprisingly even Brave browser and Firefox browser do play the MP4 video, and even the preview in Dolphin can simulate playing the video. (!)