Separate push.js from the rest of ratchet.js?
Hi,
I'm currently working on a mobile app that uses Ratchet in conjunction with the Dojo Toolkit (http://dojotoolkit.org); the use of Ratchet is to build the UI itself, so that I can use other functionality from the Dojo Toolkit (primarily from the core, definitely NOT Dijit).  I found that I had to basically pull specific parts of the Ratchet code out into a separate file that eliminated the push.js functionality, since my application is not a straight up web-site type of thing, and push.js simply interferes too much.

Is there any way the team might consider just taking the push.js code out and offering that as a separate file?  Yes, it means using two script tags instead of one but separating the actual UI functionality from an Ajax history framework would make Ratchet much more flexible.

Thanks in advance!
