Github is famously slow for diffs, which can sometime cause issues for huge PRs (i.e.: https://github.com/ghostty-org/ghostty/pull/12291/changes) We can try making the experience better by replacing the content directly inside Github by diffs.com and trees.software, making it easy and fast to load huge PRs, diffs, commits, compares, comments, for public and private repos This is directly inspired by the amazing demo from the Pierre team at https://diffshub.com