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.