I updated VLC with promises of improved performance in 4k and whatnot. After the update I noticed two annoying things: -The player sometimes starts in a tiny, audio-player-like size. I can't find an option to disable this. -Playback of certain videos is now choppy. It was perfectly fine before (the ...