We're going to download the file ending in ".zip". Click on the link, to get the download dialog.

(If you know how to unzip a gz file and your server has shell access, you can save a bit of time by downloading the gz file instead and unzipping it directly on your server. If you know how to do that, you can skip the rest of this tutorial and proceed to the next one.)

open full sized image