Exactly, which makes the size of the file much less critical. It's likely to already be cached on the drive by some previous page, even from another domain. Slicing jQuery core into subset files that are dynamically loaded and other such techniques are unlikely to make things better.