¿Qué minificador se utilizó para generar la versión oficial "minificada" de JQuery?

Necesito editar la biblioteca actual de JQuery 1.4.x (y renombrar completamente el "objeto / función" de JQuery) en un entorno de alto conflicto.

Mi pregunta es, con qué minificador se ha generado la versión minificada oficial de JQuery. ¿Dónde puedo encontrar este minificador? (Como quiero usarlo para minifingar mi versión también).

¡Gracias! Tim