[jQuery] Tools for packing js

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