Re: [Audio-video] Undesirable video formats

[Richard M. Stallman]

    Name of the other directory assumes that its files are original files of
    other directories. Should we convert these files too?

Do we already have Ogg versions of those files
elsewhere in the site?  The name suggests we do.

If so, I think the thing to do is move that directory
outside of what we publicly distribute.

If not, please make Ogg versions and put them in the correct place;
then move that directory outside of what we publicly distribute.