title: How to Convert Videos on VLC batch/CLI?
body: <p>I need to do a mass-conversion of videos from a video recorder in the <code>.mod</code> format, to other file formats, e. g. <code>.mp4</code>.</p>
  <p>How and where can I find detailed specifications and information about VLC's various CLI options and commands, required for converting between specific video and audio codecs, or formats, by means of an appropriate, tailored CLI command or a batch script?</p>