[jQuery] Tools for packing js

[Manuel Meyer]

Hey,

few days ago I started to develop with jQuery - and I love it!

I'd like to know what tool was used to pack jquery.

Another thing: In the last days docs.jquery.com was down several  
times. Is there any mirror?

Manuel