I would love this, I have an iPad Pro, unfortunately in trying the WorldWideWeb app in combination with the Runestone text editor app, I discovered that it is impossible to change a file’s extension on iOS. This is an iOS limitation. I made a home.txt file by mistake, and when I tried renaming it it became home.html.txt. I had no idea this was a thing until now and it’s really put a damper on my expectations for an iPad in its current state to become a portable dev environment.

Can you use iSH to do the standard dev stuff like rename files on the host system? I think vim even works in it, so there’s a text editor too!