FWIW, this is quite redundant. Lots of code for something that be achieved with a simple bash script. Not to mention, the ffmpeg CLI is extremely friendly as is, so a TUI for muxing/encoding to one single codec is overkill IMO.