[Plugin: WP Super Cache] Caching pages per user-agent

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.

http://wordpress.org/extend/plugins/wp-super-cache/