In perhaps a related problem, VLC has long had a problem where it'll reset the video size for no reason when switching files. For example, if you have video set to play back at double size, VLC will switch back to 1:1 when it plays the next file in the playlist or even repeats the same file. VLC has...