How do I setup VLC Media Player to be optimized for watching 4K movies? The VideoLAN Forums