If you downloaded the full document (osu, tug), the zipped file is already available in your directory under the name wfiles.zip. Otherwise, you can download the file from osu or tug.[unzip]