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

[Matt Wilson]

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?