Maybe I was being too critical - it is actually quite nice on mobile. I do use the find-file feature on Github a lot, as well as the quick file editor. Both ar

Maybe I was being too critical - it is actually quite nice on mobile. I do use the find-file feature on Github a lot, as well as the quick file editor. Both are missing here, but I kind of see that at least the file editor is not well suited to the projects ethos.