[Helpers] File renaming

[Gustaf Grefberg]

> > > no. Maybe. Ask Gustaf.
> >
> >Not sure. It all depends on what kind of format the new videos end up
> >using. Even realmedia tend to change their file extensions from time
to
> >time.
> 
>    Then lets rename them, for now... or is that already done?

Hmm, let's try to get this clarified. :)  The audio files do and will
have the mp3 extension.  The new video files I don't know yet.  Most
likely they will have .ram extension like before, so stick to that for
now. Once I start editing, if anything changes I'll keep you posted.