First, in some cases, the bug is not reproducible at all. This seems
to depend on the window position: moving the window to another random
position generally makes the bug reproducible again; in such a case,
the bug is reproducible more than 50% of the times.
Indeed, I cannot reproduce the bug with vlc 3.0.23-3+b4[*], whatever
the window position.
[*]
/var/cache/apt/archives/libvlc-bin_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/libvlc5_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/libvlccore9_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc-bin_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc-data_3.0.23-3_all.deb \
/var/cache/apt/archives/vlc-l10n_3.0.23-3_all.deb \
/var/cache/apt/archives/vlc-plugin-access-extra_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc-plugin-base_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc-plugin-notify_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc-plugin-qt_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc-plugin-samba_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc-plugin-skins2_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc-plugin-video-output_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc-plugin-video-splitter_3.0.23-3+b4_amd64.deb \
/var/cache/apt/archives/vlc-plugin-visualization_3.0.23-3+b4_amd64.deb