I’ve opened a new thread with instructions on how to deploy for Android for those who want to try it out:
I’ve also uploaded a more complete (though not quite complete) set of thirdparty packages (for all four major architectures) including Python 3.8 for those who want to build from source: https://rdb.name/thirdparty-android.tar.gz