I don't like that they are mixed in the same directory. Please keep them at least in separate subdirectories; people can umpack as they like, but sorting them out is annoying.
Anyway, thanks for another update.
But somehow I do not yet understand how to export a video with x264, if not via "external encoder". The description sounds as if there is some internal support. But I missed it so far.