Michael Martin asked me last week what the name of the Android ‘guy’ was – I told him we called him Mike.  He claimed the Google guys call him Droid or Bug Droid, but clearly he needs a name and since no one else came up with anything I am declaring his official name is now ‘Mike’.  Say hello Mike: