Where these pages come from
Every tool page is written from the real README of its repository. The data behind
them, licences, topics, push dates and community profile scores, is pulled from the
GitHub API by node scripts/sync-repos.mjs and committed, so nothing on these pages
is fetched while you read them.