first custom download -- full jquery in zip file (not compressed)

first custom download -- full jquery in zip file (not compressed)

New to jquery and jquery-ui, I did my first custom download of jquery-ui.  The web documentation indicates a compressed (min) version of jquery will be in the zip file, but it seems to be the full one.  (two jquery-ui versions were in the zip file, both full and compressed)

I downloaded 1.10.4, redmond theme, without any effects.

Is this a bug?  Since I'm new at this I hesitated to write a bug report before asking here.