Oh, I wasn't going to do it myself but I know of a good porter that does a ton of Android ports (Estrada) who might be able to be persuaded to take it up later when it gets to Joiplay only. I'm not aware of him changing anything in any of the games he ports.
There's an Android port for 0.8 that's been recently posted, file size is a bit over 530 MB. I can live with crappy or even no animations, but renders look the same as they were uncompressed.
