Behold! I tell you a mystery... Adventures with ffmpeg
The tool which my Giocoso classical music player uses to actually produce audio output is called ffmpeg, a command line audio and video de-coder and player. It is something of a truism to say that it is an absolute nightmare to use! It's command structure is truly ghastly, with a typical example looking like this:
ffmpeg -i example.mp4 -i LM_logo.png -filter_complex "[1:v] scale=150:-1 [ol], [0:v] [ol] overlay=W-w-10:H-h-10" -codec:a copy example_marked.mp4 [...]