Is it really necessary to store the exact same movie twice there, with the only difference being the container format? It feels a bit like abusing the free service provided by archive.org for something it's not intended for.
(Of course if the owners of archive.org are completely ok with this, and have explicitly stated so, then there's obviously no problem.)
I don't know if the owners are completely okay with it, but I do know that archive automatically converts files to other formats which are, for the most part, bigger than the original file. Archive has auto derive, which creates 2 new files. One in MPEG4 with 512 kb bitrate, and another in OGV with around 512 kb bitrate also. If they were worried about space, doing this auto derive wouldn't make much sense.
I don't know if the owners are completely okay with it, but I do know that archive automatically converts files to other formats which are, for the most part, bigger than the original file. Archive has auto derive, which creates 2 new files. One in MPEG4 with 512 kb bitrate, and another in OGV with around 512 kb bitrate also. If they were worried about space, doing this auto derive wouldn't make much sense.
I suppose you are right. (And given that our encoders go through a lot of trouble to make the video files as small as possible while maintaining maximal image quality, something which not many people bother to do, I'm assuming that our videos are by no means the largest ones people are uploading to archive.org...)
