If anyone is interested, I have converted most of these to .wmv. The problem with .flv is (unless I'm mistaken) nobody has created a DirectShow filter for it, meaning that you
can't play it in your usual player and have to use a dedicated .flv player with perhaps inferior UI to the one you're used to. (This is the same reason I loathe .rm and .mov). If I'm mistaken, someone please point me to the codec. If I'm not mistaken and you'd like me to post my .wmv conversions, say so
