Video software

mozilla downloadhelper app thingy gets you the .flv file downloaded, then I use AnyVideoConverter to convert it to any number of formats. I think Handbrake also converts to various file types now as well.