On Fri Sep 15 07:57:24 2023 +0000, Ziqing Hui wrote:
avmux_mp4 is marked as "(not recommended, use mp4mux instead)", it has a rank of none(0).
It looks like it comes from https://bugzilla.gnome.org/show_bug.cgi?id=622773, which is not clear about the reasons, but it's also not obvious that it is completely broken.
In any case I'm not suggesting to explicitly use it, but at least allow it to be selected if mp4mux cannot be used.