Google Operating System tells you how to download Google Videos as AVI files and how to make them play in WMP, should you want that (via Juha).
That’s pretty cool, as I didn’t even know they were AVI’s. Looks like Google’s using DIVX for the video compression and MP3 for the audio.
