Repo Mirror Sources
netdata/netdata
Inspect Netdata-org source checkouts under NETDATAREPOSDIR, or set up and synchronize that mirror when requested.
Every SmartLead API feature, plus a local mirror that answers campaign-health, silent-lead, and cross-campaign...
$ npx skills add mvanhorn/printing-press-library --skill pp-smartlead -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install mvanhorn/printing-press-library pp-smartlead --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/mvanhorn/printing-press-library.git skills-src && mkdir -p .claude/skills && cp -r skills-src/cli-skills/pp-smartlead .claude/skills/pp-smartlead && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "pp-smartlead" agent skill from https://github.com/mvanhorn/printing-press-library/tree/main/cli-skills/pp-smartlead into .claude/skills/pp-smartlead/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pp-smartlead", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/mvanhorn/printing-press-library/tree/main/cli-skills/pp-smartleadType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add mvanhorn/printing-press-library --skill pp-smartlead -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install mvanhorn/printing-press-library pp-smartlead --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mvanhorn/printing-press-library.git skills-src && mkdir -p .agents/skills && cp -r skills-src/cli-skills/pp-smartlead .agents/skills/pp-smartlead && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "pp-smartlead" agent skill from https://github.com/mvanhorn/printing-press-library/tree/main/cli-skills/pp-smartlead into .agents/skills/pp-smartlead/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pp-smartlead", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add mvanhorn/printing-press-library --skill pp-smartlead -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install mvanhorn/printing-press-library pp-smartlead --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mvanhorn/printing-press-library.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/cli-skills/pp-smartlead .cursor/skills/pp-smartlead && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "pp-smartlead" agent skill from https://github.com/mvanhorn/printing-press-library/tree/main/cli-skills/pp-smartlead into .cursor/skills/pp-smartlead/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pp-smartlead", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/mvanhorn/printing-press-library.git --path cli-skills/pp-smartlead--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add mvanhorn/printing-press-library --skill pp-smartlead -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install mvanhorn/printing-press-library pp-smartlead --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mvanhorn/printing-press-library.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/cli-skills/pp-smartlead .gemini/skills/pp-smartlead && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "pp-smartlead" agent skill from https://github.com/mvanhorn/printing-press-library/tree/main/cli-skills/pp-smartlead into .gemini/skills/pp-smartlead/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pp-smartlead", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install mvanhorn/printing-press-library pp-smartleadInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add mvanhorn/printing-press-library --skill pp-smartlead -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/mvanhorn/printing-press-library.git skills-src && mkdir -p .github/skills && cp -r skills-src/cli-skills/pp-smartlead .github/skills/pp-smartlead && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "pp-smartlead" agent skill from https://github.com/mvanhorn/printing-press-library/tree/main/cli-skills/pp-smartlead into .github/skills/pp-smartlead/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pp-smartlead", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add mvanhorn/printing-press-library --skill pp-smartlead -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install mvanhorn/printing-press-library pp-smartlead --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mvanhorn/printing-press-library.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/cli-skills/pp-smartlead .opencode/skills/pp-smartlead && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "pp-smartlead" agent skill from https://github.com/mvanhorn/printing-press-library/tree/main/cli-skills/pp-smartlead into .opencode/skills/pp-smartlead/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pp-smartlead", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
pp-smartleadEvery SmartLead API feature, plus a local mirror that answers campaign-health, silent-lead, and cross-campaign...
Pp Smartlead is an agent skill from mvanhorn/printing-press-library. Every SmartLead API feature, plus a local mirror that answers campaign-health, silent-lead, and cross-campaign... Trigger phrases: check my smartlead campaigns, which leads went silent, is this domain already pitched, rank my sender accounts, use smartlead, run smartlead.
Its SKILL.md is about 3k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
The repository describes itself as: Official library of CLIs generated by the CLI Printing Press. Endorsed, tested, and community-contributed. The licence is Apache-2.0.
3 steps, taken from the first numbered list in SKILL.md.
Read from SKILL.md and the folder at commit 76de244. It shows what the files ask for, not the result of running them.
Pre-approves these tools, so the agent can use them without asking each time:
ReadBashFrom allowed-tools in the SKILL.md frontmatter.
Shell commands in SKILL.md call:
claudenpxgoFrom the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md. Its commands use npx, which can reach the network depending on how they are called.
From URLs in SKILL.md, links to its own repository left out.
Names these keys or tokens, usually read from environment variables:
SMARTLEAD_API_KEYFrom names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Pp Smartlead loads about 3k tokens when it runs. Until then it costs about 74 tokens; SKILL.md has 1,306 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
The automated check noted patterns worth knowing about, such as sudo or a known installer.
allowed-tools: Read, BashAutomated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
The full file from mvanhorn/printing-press-library at commit 76de244, republished under its Apache-2.0 licence (© mvanhorn). 1,306 words, ~3,012 tokens.
.claude/skills/pp-smartlead/SKILL.md (or your agent's skills folder).<!-- GENERATED FILE — DO NOT EDIT.
This file is a verbatim mirror of library/sales-and-crm/smartlead/SKILL.md,
regenerated post-merge by tools/generate-skills/. Hand-edits here are
silently overwritten on the next regen. Edit the library/ source instead.
See the repository agent guide, section "Generated artifacts: registry.json, cli-skills/". -->
This skill drives the smartlead-pp-cli binary. You must verify the CLI is installed before invoking any command from this skill. If it is missing, install it first:
$HOME/.local/bin on macOS/Linux and %LOCALAPPDATA%\Programs\PrintingPress\bin on Windows:npx -y @mvanhorn/printing-press-library install smartlead --cli-onlysmartlead-pp-cli --version$PATH for the agent/runtime that will invoke this skill.If the npx install fails (no Node, offline, etc.), fall back to a direct Go install (requires Go 1.26.6 or newer):
go install github.com/mvanhorn/printing-press-library/library/sales-and-crm/smartlead/cmd/smartlead-pp-cli@latestIf --version reports "command not found" after install, the runtime cannot see the binary directory on $PATH. Do not proceed with skill commands until verification succeeds.
Use this CLI when an agent or operator needs to audit cold-email outreach in SmartLead: checking which campaigns are healthy, building follow-up lists of silent leads, deduplicating leads across campaigns before launch, or ranking sender accounts by deliverability. It is the right tool when the question spans multiple campaigns or needs week-over-week history, because those answers come from the local mirror rather than a single API call.
These capabilities aren't available in any other tool for this API.
health — One-shot scorecard for every campaign — bounce rate, reply rate, silent-lead count, sender count, and a stale flag — without clicking through the dashboard.
Reach for this first when an agent needs to know which campaigns are healthy before drilling into any one of them.
smartlead-pp-cli health --jsonsilent — Finds leads that were emailed but have not replied within N days — the exact set to follow up with or retire.
Use this to build a follow-up list instead of paging the whole lead set and diffing timestamps by hand.
smartlead-pp-cli silent --campaign 12345 --days 7 --jsondupes — Scans the whole lead mirror for emails or domains that appear in two or more campaigns; --domain prints the full pitch ledger for one site.
Run this before adding leads to a campaign to avoid double-contacting a prospect already in flight.
smartlead-pp-cli dupes --domain example.com --jsondrift — Computes week-over-week reply, open, and bounce deltas for a campaign by querying analytics one seven-day window at a time.
Use this to catch a campaign decaying over time rather than judging it from a single point-in-time stat.
smartlead-pp-cli drift --campaign 12345 --weeks 4 --jsonsender-health — Ranks every email sender account by a composite of inbox-warmup landing rate, SMTP/IMAP connection health, and sending utilization.
Reach for this to find which sender accounts are dragging deliverability before they tank a campaign.
smartlead-pp-cli sender-health --jsonwarmup-gate — Checks each sender account against warmup thresholds (--min-days, --min-inbox-rate); with --strict it exits non-zero when any account fails — a scriptable launch gate.
Call this in a launch script to block attaching a sender account that is not warmed up yet.
smartlead-pp-cli warmup-gate --account 6789 --jsoncampaigns — Manage campaigns
smartlead-pp-cli campaigns create — Create a new campaignsmartlead-pp-cli campaigns delete — Delete a campaignsmartlead-pp-cli campaigns get — Get a campaign by IDsmartlead-pp-cli campaigns list — Retrieves every email campaign for the authenticated SmartLead account.client — Manage client
smartlead-pp-cli client create — Create a whitelabel clientsmartlead-pp-cli client list — List all whitelabel clientsemail-accounts — Manage email accounts
smartlead-pp-cli email-accounts create — Add a new email sender accountsmartlead-pp-cli email-accounts list — List all email sender accountssmartlead-pp-cli email-accounts reconnect-failed — Trigger a reconnect of all disconnected email accountssmartlead-pp-cli email-accounts update — Update an email sender accountleads — Manage leads
smartlead-pp-cli leads add-domain-block-list — Add domains to the account-wide block listsmartlead-pp-cli leads get-by-email — Look up a lead by email addresssmartlead-pp-cli leads list-categories — List all lead categories for the accountsmartlead-pp-cli leads update — Update a lead's fieldsWhen you know what you want to do but not which command does it, ask the CLI directly:
smartlead-pp-cli which "<capability in your own words>"which resolves a natural-language capability query to the best matching command from this CLI's curated feature index. Exit code 0 means at least one match; exit code 2 means no confident match — fall back to --help or use a narrower query.
smartlead-pp-cli sync && smartlead-pp-cli health --jsonRefresh the mirror, then get the all-campaigns health scorecard in one structured payload.
smartlead-pp-cli dupes --domain prospect-site.com --jsonSee every campaign, category, and last-contact date for a domain before pitching it again.
smartlead-pp-cli silent --campaign 12345 --days 10 --jsonPull leads emailed but silent for 10+ days to feed into a follow-up sequence.
smartlead-pp-cli campaigns list --agent --select id,name,statusSmartLead campaign objects are large; --agent with --select narrows the response to just the fields an agent needs.
smartlead-pp-cli warmup-gate --account 6789 --jsonReturns a typed exit code so a launch script can block on a sender that is not warmed up.
SmartLead authenticates with an API key passed as the api_key query parameter. Set SMARTLEAD_API_KEY in your environment (find the key under Settings -> API in the SmartLead app). No OAuth, no login flow.
Run smartlead-pp-cli doctor to verify setup.
Add --agent to any command. Expands to: --json --compact --no-input --no-color --yes.
Pipeable — JSON on stdout, errors on stderr
Filterable — --select keeps a subset of fields. Dotted paths descend into nested structures; arrays traverse element-wise. Critical for keeping context small on verbose APIs:
smartlead-pp-cli campaigns list --agent --select id,name,statusPreviewable — --dry-run shows the request without sending
Offline-friendly — sync/search commands can use the local SQLite store when available
Non-interactive — never prompts, every input is a flag
Explicit retries — use --idempotent only when an already-existing create should count as success, and --ignore-missing only when a missing delete target should count as success
Commands that read from the local store or the API wrap output in a provenance envelope:
{
"meta": {"source": "live" | "local", "synced_at": "...", "reason": "..."},
"results": <data>
}Parse .results for data and .meta.source to know whether it's live or local. A human-readable N results (live) summary is printed to stderr only when stdout is a terminal AND no machine-format flag (--json, --csv, --compact, --quiet, --plain, --select) is set — piped/agent consumers and explicit-format runs get pure JSON on stdout.
When you (or the agent) notice something off about this CLI, record it:
smartlead-pp-cli feedback "the --since flag is inclusive but docs say exclusive"
smartlead-pp-cli feedback --stdin < notes.txt
smartlead-pp-cli feedback list --json --limit 10Entries are stored locally at ~/.smartlead-pp-cli/feedback.jsonl. They are never POSTed unless SMARTLEAD_FEEDBACK_ENDPOINT is set AND either --send is passed or SMARTLEAD_FEEDBACK_AUTO_SEND=true. Default behavior is local-only.
Write what surprised you, not a bug report. Short, specific, one line: that is the part that compounds.
Every command accepts --deliver <sink>. The output goes to the named sink in addition to (or instead of) stdout, so agents can route command results without hand-piping. Three sinks are supported:
| Sink | Effect |
|---|---|
stdout | Default; write to stdout only |
file:<path> | Atomically write output to <path> (tmp + rename) |
webhook:<url> | POST the output body to the URL (application/json or application/x-ndjson when --compact) |
Unknown schemes are refused with a structured error naming the supported set. Webhook failures return non-zero and log the URL + HTTP status on stderr.
A profile is a saved set of flag values, reused across invocations. Use it when a scheduled agent calls the same command every run with the same configuration - HeyGen's "Beacon" pattern.
smartlead-pp-cli profile save briefing --json
smartlead-pp-cli --profile briefing campaigns list
smartlead-pp-cli profile list --json
smartlead-pp-cli profile show briefing
smartlead-pp-cli profile delete briefing --yesExplicit flags always win over profile values; profile values win over defaults. agent-context lists all available profiles under available_profiles so introspecting agents discover them at runtime.
| Code | Meaning |
|---|---|
| 0 | Success |
| 2 | Usage error (wrong arguments) |
| 3 | Resource not found |
| 4 | Authentication required |
| 5 | API error (upstream issue) |
| 7 | Rate limited (wait and retry) |
| 10 | Config error |
Parse $ARGUMENTS:
help, or --help → show smartlead-pp-cli --help outputinstall → ends with mcp → MCP installation; otherwise → see Prerequisites above--agent)Install the MCP binary from this CLI's published public-library entry or pre-built release, then register it:
claude mcp add smartlead-pp-mcp -- smartlead-pp-mcpVerify: claude mcp list
which smartlead-pp-cli
If not found, offer to install (see Prerequisites at the top of this skill).--agent flag:smartlead-pp-cli <command> [subcommand] [args] --agentsmartlead-pp-cli <command> --help.© mvanhorn, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Just SKILL.md in cli-skills/pp-smartlead of mvanhorn/printing-press-library.
Open the folder on GitHubat commit 76de244
Pp Smartlead next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Pp Smartlead this skillmvanhorn/printing-press-library | 2.1k | — | ~3k | Automated safety check: Notes | Apache-2.0 | |
| Repo Mirror Sourcesnetdata/netdata | 81k | — | ~1.2k | Automated safety check: Notes | GPL-3.0 | |
| Identity Mirrorsickn33/agentic-awesome-skills | 47k | 2 repos | ~1.3k | Automated safety check: Pass | MIT | |
| Book Mirrorgarrytan/gbrain | 31k | — | ~6.6k | Automated safety check: Pass | MIT | |
| Company MirrorPrism-Shadow/penguin-harness | 2.5k | — | ~2.9k | Automated safety check: Pass | Apache-2.0 | |
| Mirrorteam-attention/hoyeon | 173 | — | ~1.8k | Automated safety check: Pass | MIT |
netdata/netdata
Inspect Netdata-org source checkouts under NETDATAREPOSDIR, or set up and synchronize that mirror when requested.
sickn33/agentic-awesome-skills
One sentence - what this skill does and when to invoke it. An agent skill from sickn33/agentic-awesome-skills.
garrytan/gbrain
Take any book (EPUB/PDF), produce a personalized chapter-by-chapter analysis.
Prism-Shadow/penguin-harness
Run a PenguinHarness organization that mirrors a real company — one digital twin per real colleague, each twin's desk bound to that colleague's chat bot, twins answering what the handbook already…
team-attention/hoyeon
"/mirror", "mirror back", "echo back", "다시 설명해줘", "이해한 거 맞아?", "내가 뭘 원하는지 말해봐", "확인해줘", "paraphrase this", "너가 이해한 거 설명해봘", "what did I ask?"
AgentsMesh/AgentsMesh
Audits or synchronizes the authoritative GitHub main branch to the internal GitLab mirror without importing GitLab-only history back into GitHub.
mvanhorn/printing-press-library
Desktop automation through the real Rust agent-desktop CLI, published in Printing Press through a small bridge.
mvanhorn/printing-press-library
Search, browse, and download Google Fonts from the terminal via the gfonts CLI.
mvanhorn/printing-press-library
The free, offline Trigger phrases: search 1688 for, find a factory on 1688 for, wholesale price on 1688 for, who is the cheapest supplier on 1688 for, compare 1688 suppliers for, use 1688, run 1688.
mvanhorn/printing-press-library
Inspect known Activity Japan plan IDs or URLs, compare dated prices and sessions, check language-sitemap coverage, and hand off to canonical booking pages.
mvanhorn/printing-press-library
Every Admin By Request portal action, plus a local SQLite mirror of audit, events, inventory and requests for ad-hoc...
mvanhorn/printing-press-library
macOS screen capture, window recording, GIF conversion, and agent evidence bundles from the terminal.
Every SmartLead API feature, plus a local mirror that answers campaign-health, silent-lead, and cross-campaign... Pp Smartlead is an agent skill from mvanhorn/printing-press-library. Every SmartLead API feature, plus a local mirror that answers campaign-health, silent-lead, and cross-campaign...
Pp Smartlead fits situations like: phrases: check my smartlead campaigns; which leads went silent; is this domain already pitched; rank my sender accounts.
Run `npx skills add mvanhorn/printing-press-library --skill pp-smartlead -a claude-code`. Or copy the skill folder (cli-skills/pp-smartlead in mvanhorn/printing-press-library) into .claude/skills/pp-smartlead in your project. Claude Code loads it when a task matches its description.
Run `npx skills add mvanhorn/printing-press-library --skill pp-smartlead -a codex`. Or copy the skill folder (cli-skills/pp-smartlead in mvanhorn/printing-press-library) into .agents/skills/pp-smartlead in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add mvanhorn/printing-press-library --skill pp-smartlead -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/pp-smartlead, .gemini/skills/pp-smartlead, .github/skills/pp-smartlead and .opencode/skills/pp-smartlead in your project.
Going by SKILL.md and its folder, Pp Smartlead needs the command-line tools its instructions call (claude, npx and go) and credentials named SMARTLEAD_API_KEY. Our summary lists: Node.js; A credential in SMARTLEAD_API_KEY. Its frontmatter pre-approves these tools: Read, Bash.
SKILL.md contains no URLs. Its commands use npx, which can reach the network depending on how they are called. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found notes only (pre-approves every shell command (allowed-tools: bash)), nothing it rates as a warning. It is not a guarantee. Review the folder before installing.
Pp Smartlead is published under the Apache-2.0 licence (declared in SKILL.md). It allows redistribution, so the full SKILL.md is shown on this page.
About 3k tokens (SKILL.md is roughly 12k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
Skills that share tags, products or a category with Pp Smartlead: Repo Mirror Sources (netdata/netdata, 81k stars), Identity Mirror (sickn33/agentic-awesome-skills, 47k stars), Book Mirror (garrytan/gbrain, 31k stars) and Company Mirror (Prism-Shadow/penguin-harness, 2.5k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
mvanhorn (a GitHub user) maintains it in mvanhorn/printing-press-library, which has 2,056 GitHub stars. The repository holds 506 skills in this directory. The repository was last updated on October 9, 2026.
Source: mvanhorn/printing-press-library on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.