Agreed. With the implementation of jQuery by default, users will find it easier to modify their forums and add enhancements via jQ so I feel there should be a method to minify and compress. It can help with modification download sizes too.
He means turning a 15kb .js file into a 5kb .js file, (or .css)
While the 15kb file is still as it originally is, for easy behind the curtain editing. However, the public version thats "saved" for the end user is the minified version.