https://guid.cam/tech/terrance/code-editors-for-android/