I found this wiki which says that by starting VLC with the "--codec dmo" switch, I'll be able to see a config option to use system plugins. https://wiki.videolan.org/Direct_Media_Object/ I followed the steps, but the "Other codecs" option does not show up. Any idea how to get thi...