How come this GitHub repo with more PRs and stars is not trending on GitHub?github.com/rms-support-letter12 pointscrazypython5 years ago