Thanks, I hadn't seen this it's amazing. It's off topic but interesting enough not to mind. It set me on a train of thought about whether github is accidentally dystopic => permanent, completely public record of everything you say or do (inside the platform), conditions that probably magnify the power of social victimizing. PRs are permanent, I don't know about the discussions/etc, they can be deleted? Whilst being also a public record of your work/skills, so you can't really opt out or anonymize without a significant penalty.