[vlc/f37] (4 commits) ...Update to 3.0.20