Comment Comment by andydunstall As commented below, Pico is already a well established name for a text editor so I've renamed to Piko: https://github.com/andydunstall/piko parent andydunstall 2 years ago