Neat. I went the other way and started writing an RDP server for Android, just so that I can use _one_ client for everything. It’s been tough going, but it’s passably usable now.