Thanks for checking this, @Tobias. Too bad! But at least it’s proof of concept. Maybe I will look into what it takes to make this kind of port. I know Java apps are easier to translate to the Android API than are C apps, so maybe that is a place to start…