The benefit of using the whole jQuery library on a single page is that it will likely already be cached, particularly if you are using the Google version.
The largest time expenditure is on the loading from an external server, not the processing once it is local. Don't think the author understands this.