I really like this easy way of recording, for instance, live streams with VLC but how could I change the output format of the video? Is ther any possible way to change the .asf format to any other such as .mp4 or. avi? And also, when I record any stream as an .asf file, it seems the file is very big...