FFMPEG is under GPL and there might be issues where a GPL-incompatible program uses it in some ways.
Proprietary codecs like DivX however aren't the option because then I cannot manipulate the format and use royalty free freeware open source converters which I'll need for my own recording purposes via my own devices and video making software.
So which codec isn't from anything from above, but is popular and well played on Windows, Linux, Raspbian and Android (at least in the browser)?
--enable-gpl
,--enable-version3
or--enable-proprietary
options.