jquery.mobile.js? Separate library or is the mobile support being pushed into core???

jquery.mobile.js? Separate library or is the mobile support being pushed into core???

This was probably mentioned somewhere but could not find any reference to it... just wondering if there will be a separate download for jQuery Mobile along with a separate theme/theme-roller for jQuery UI, or, will all of this mobile support development work be rolled into the main development tracks for jQuery and JQuery UI?

There are advantages and disadvantages to both approaches.
jQuery Core
[PRO]
  1. Can offer it as an optional add-on (i.e. jQuery + jQueryMobile)
  2. jQuery iz good e'nuf! Don't re-write the whole library (which I'm guessing the team is going for anyway)
[CON]
  1. More file size = $$$ =  (even talking in kb, data rates cost too much over a mobile network)
  2. any idea how much of jQuery 1.4.2+ is already "mobile-compatible", we can see the very useful Graded-Browser grid, but can we see the same grid ranking how jQuery renders on each instead of the letter grade?

jquery.mobile.js
[PRO]
  1. could leverage server-side device detection then programmatically insert just the mobile version of jQuery only, which might make it easier to use already popular libraries such as WURFL
  2. might be easier to conditionally insert CSS headers to render the UI, i.e.
    1. <link rel="stylesheet" media="handheld" href="jquery-ui-2.0.mobile.css" type="text/css">

[CON]
  1. pains of managing not just multiple versions of the same library, but multiple versions of multiple rendering versions (or versions of versions)
  2. unclear which version of jQuery I would use on something like an iPhone... iPad... Archos... Tablet... Notebook, etc...

I've offered 2 pros and cons of each, hopefully others can chime in, and if anyone knows more about which approach is being taken, please share here.