Sorry folks, seems like I was wrong about how Jetpack generates the menu for the mobile theme. It doesn’t use the inbuilt WordPress menu. It does it by finding all of the public pages you have, whether they are linked into your site’s navigation system or not. This is a VERY BAD THING. Consequently I’m disabling the Jetpack mobile theme and goning back to WPtouch.