I'll think about whether it's worth making a port on Android