Hi, I'm trying to convert HD-videos from my Smartphone to a smaller size. After scanning lots of vlc-documentation (most of which regards itself as outdated?) and experimenting a lot with shell-quotations (e.g. parameters like mux seem to require quoted values), I eventually figured out a command li...