> No, thankfully! I've been working with GitHub via PRs. They added the feature most needed so far, proper process-level sandboxing, so hopefully a fork won't be necessary.

Do you have a link to the issue where this was fixed/discussed? I searched for it last week and couldn't find it.