Does wp-super-cache cache (ie. normal cache, half-on) pages for mobile and other user agents granularly, per user agent, or just with a blanket "mobile" user agent? Specifically, is their a distinction between, say, "Android" and "iPhone" and "iPod" and "Crackberry" - are they cached separately or is one cached file served to all of them under a blanket "mobile" user-agent?

I'm asking specifically because the WPtouch plugin serves slightly different content depending on the user agent.

[unrelated] iPhone tip - Atomic browser in the iPhone is a nice way to view page sources on you phone if you aren't using Safari on a laptop / desktop with a spoofed user-agent.