This is precisely why I switched away from VLC to gnome-mpv.
VLC is a huge bloated mess with infrequent releases. I just want to play local video...