From another site a user commented that it might have proprietary modifications to ffmpeg which is LGPL/GPL (I think?). Would a leak be considered to be distribution, could others legally take these modifications and merge them into the upstream project?
I imagine other free software might have modifications too.
I imagine other free software might have modifications too.