Where does a downloaded file go?

Google Video Files (.gvi), and latterly its .avi files, are modified Audio Video Interleave (.avi) files that have an extra list containing the FourCC "goog" immediately following the header. The video is encoded in DivX4 alongside an MP3 audio stream. DivX video players can render .gvi Google Video Files without format conversion (after changing the extension from .gvi to .avi, although this method of just renaming the file extension does not work with videos purchased with DRM to protect it from piracy). Among other software VirtualDub is able to read .gvi files and allows the user to convert them into different formats of choice. There are also privately developed software solutions, such as GVideo Fix, that can convert them to .avi format without recompression. MEncoder with "-oac copy -ovc copy" as parameters also suffices.