The "mark solution" replaces the remote itself. It uses a small arduino-ish CPU connected to the PC via USB. the other "side" is the wireless to the TIU. The PC software he wrote simply encodes the various "GUI actions" into "remote commands" that the TIU understands. I think this is one heck of effort on his part because he largely figured out all the various aspect himself much of which was not trivial.
I have the two solutions offered which are something for the hobbyist to do in their free time. The first one involves making a small board that plugs into the "phone jack" port, the other uses the wireless "panstamp" approach just described. I did them both, they work.
The RTC software as he calls it runs on a PC (windows) ... it's written in C++.
I use a laptop and have at a lot of fun with it. And I prefer it largely to the remote.
It's not been ported to android or any other device/os/language combo at this time though that I am aware of...
But I agree it would be a nice path for his project to go... And it also all freely available for the motivated with time on their hands, etc...
(one should note there other aspects to than this work and i just suggest reading the website for more details)