I wanted to see what people are using to record streaming video? I use VLC for playback, so if I could convert the video to mp4 that would be great! What are people using?