[jQuery] jquery.min.js is 54kb, not 15kb?

The front page of jquery.com says the production version is 15kb, but
when I go to the download link, it shows up as 54kb.
Is there something special that I need to do to convert that 54kb file
into 15kb file?