I should have mentioned that version 3.5 of the TV Remote app is also
available for Android, with the same features which are available in the
iOS version. I'm a bit embarrassed to say that, while I've worked with the
relevant team on the Android version, I haven't seen the new changes on
Android but it should work pretty much the same as it does with iOS. Of
course, there will continue to be new versions and so, if you find any
anomalies, feel free to report them to me and I'll report them to the
appropriate teams.
