Done
Now, it could be better. It could export to markdown. Nowadays Coda is a documentation pit. Convenient as it is, if you have a set of nested documents you have to copy one by one if you want to do something with them somewhere else
Export to markdown / HTML - Suggestion Box - Coda Maker Community