According to the w3 schools site HTML5 currently only supports OGG, WebM, and MP4. Most of my current media is in the WMV format so I would like to convert it to use on my site. Searching for converts returns lists of trial software or software that doesn't actually support the format. Do you have any suggestions for (preferably free) software to do this? I do have access to a Linux box, although I'm not extremely familiar with it.