Pico creator here. Thanks so much for your perspective, it's actually kind of hard to find users that live outside the pull request workflow. I think you are

Pico creator here. Thanks so much for your perspective, it's actually kind of hard to find users that live outside the pull request workflow. I think you are absolutely right about scaling issues. We have been thinking about range-diff and how it could work in our PR format. I'm going to read your thorough gist and ponder on what we can learn from it to improve our project. Thanks!