Instrument Data To Allotrope
aws-samples/amazon-bedrock-agents-healthcare-lifesciences
Convert laboratory instrument output files (PDF, CSV, Excel, TXT) to Allotrope Simple Model (ASM) JSON format or flattened 2D CSV.
PDF extraction with ordered tool chain: readfile, then runshell/pdftotext, then executecodesandbox/PyMuPDF
$ npx skills add HKUDS/OpenSpace --skill pdf-extract-ordered-fallback -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install HKUDS/OpenSpace pdf-extract-ordered-fallback --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/HKUDS/OpenSpace.git skills-src && mkdir -p .claude/skills && cp -r skills-src/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced .claude/skills/pdf-extract-ordered-fallback && 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 "pdf-extract-ordered-fallback" agent skill from https://github.com/HKUDS/OpenSpace/tree/main/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced into .claude/skills/pdf-extract-ordered-fallback/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pdf-extract-ordered-fallback", 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/HKUDS/OpenSpace/tree/main/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhancedType 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 HKUDS/OpenSpace --skill pdf-extract-ordered-fallback -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install HKUDS/OpenSpace pdf-extract-ordered-fallback --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/HKUDS/OpenSpace.git skills-src && mkdir -p .agents/skills && cp -r skills-src/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced .agents/skills/pdf-extract-ordered-fallback && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "pdf-extract-ordered-fallback" agent skill from https://github.com/HKUDS/OpenSpace/tree/main/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced into .agents/skills/pdf-extract-ordered-fallback/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pdf-extract-ordered-fallback", 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 HKUDS/OpenSpace --skill pdf-extract-ordered-fallback -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install HKUDS/OpenSpace pdf-extract-ordered-fallback --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/HKUDS/OpenSpace.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced .cursor/skills/pdf-extract-ordered-fallback && 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 "pdf-extract-ordered-fallback" agent skill from https://github.com/HKUDS/OpenSpace/tree/main/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced into .cursor/skills/pdf-extract-ordered-fallback/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pdf-extract-ordered-fallback", 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/HKUDS/OpenSpace.git --path benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced--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 HKUDS/OpenSpace --skill pdf-extract-ordered-fallback -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install HKUDS/OpenSpace pdf-extract-ordered-fallback --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/HKUDS/OpenSpace.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced .gemini/skills/pdf-extract-ordered-fallback && 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 "pdf-extract-ordered-fallback" agent skill from https://github.com/HKUDS/OpenSpace/tree/main/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced into .gemini/skills/pdf-extract-ordered-fallback/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pdf-extract-ordered-fallback", 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 HKUDS/OpenSpace pdf-extract-ordered-fallbackInstalls 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 HKUDS/OpenSpace --skill pdf-extract-ordered-fallback -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/HKUDS/OpenSpace.git skills-src && mkdir -p .github/skills && cp -r skills-src/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced .github/skills/pdf-extract-ordered-fallback && 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 "pdf-extract-ordered-fallback" agent skill from https://github.com/HKUDS/OpenSpace/tree/main/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced into .github/skills/pdf-extract-ordered-fallback/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pdf-extract-ordered-fallback", 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 HKUDS/OpenSpace --skill pdf-extract-ordered-fallback -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install HKUDS/OpenSpace pdf-extract-ordered-fallback --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/HKUDS/OpenSpace.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced .opencode/skills/pdf-extract-ordered-fallback && 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 "pdf-extract-ordered-fallback" agent skill from https://github.com/HKUDS/OpenSpace/tree/main/benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced into .opencode/skills/pdf-extract-ordered-fallback/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pdf-extract-ordered-fallback", 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.
pdf-extract-ordered-fallbackPDF extraction with ordered tool chain: readfile, then runshell/pdftotext, then executecodesandbox/PyMuPDF
PDF Extract Ordered Fallback is an agent skill from HKUDS/OpenSpace. PDF extraction with ordered tool chain: readfile, then runshell/pdftotext, then executecodesandbox/PyMuPDF
Its SKILL.md is about 2.6k tokens, which your agent loads only when the skill is triggered. The skill folder holds 1 other file.
It sits in Documents & Office, covering PDF. It works with Python. The repository describes itself as: "OpenSpace: The Skill Management Layer for AI Agents" -- https://open-space.cloud/. The licence is MIT.
6 steps, taken from the step headings in SKILL.md.
Read from SKILL.md and the folder at commit 3827781. It shows what the files ask for, not the result of running them.
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Shell commands in SKILL.md call:
curlapt-getpdftotextbrewyumpippython3From the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md. Its commands use curl and pip, which can reach the network depending on how they are called.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
PDF Extract Ordered Fallback loads about 2.6k tokens when it runs. Until then it costs about 35 tokens; SKILL.md has 934 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 found no risky patterns in SKILL.md.
Automated 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 HKUDS/OpenSpace at commit 3827781, republished under its MIT licence (© HKUDS). 934 words, ~2,579 tokens.
.claude/skills/pdf-extract-ordered-fallback/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.This skill provides a robust workflow for acquiring PDF documents from web sources and extracting their text content, with a clearly ordered sequence of tool invocations to maximize success rate.
When working with PDFs from web sources, encounters with JavaScript redirects, corrupted files, missing tools, or inaccessible content are common. This workflow ensures maximum success rate through a严格 ordered fallback sequence that prioritizes shell-based tools over Python sandbox execution.
| Step | Tool | Method | Priority |
|---|---|---|---|
| 0 | read_file | Direct PDF text extraction | First attempt |
| 1 | run_shell | pdftotext command | Primary fallback (if Step 0 returns binary/fails) |
| 2 | execute_code_sandbox | PyMuPDF Python library | Secondary fallback (if Step 1 fails) |
| 3 | Domain knowledge | Manual content generation | Last resort |
Key principle: Always try shell tools (run_shell) before Python sandbox (execute_code_sandbox) when both are viable options. Shell execution is more reliable in constrained environments.
First, attempt to extract PDF text using the read_file tool. This is the simplest approach and handles many PDFs correctly:
read_file filetype="pdf" file_path="path/to/document.pdf"Expected outcomes:
Critical: If read_file returns binary data (PNG/JPEG headers, raw PDF bytes), do NOT attempt to parse it manually. Immediately switch to shell-based pdftotext.
Many PDF hosting sites use JavaScript-based redirects or block automated requests. Use curl with a realistic browser user-agent:
curl -L -A "Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.0.0 Safari/537.36" -o output.pdf "URL_HERE"Key flags:
-L: Follow redirects-A: Set user-agent header to mimic a real browser-o: Specify output filenameAlways validate the downloaded file is actually a PDF before attempting extraction:
file output.pdfExpected output should contain "PDF document". If not:
This step takes priority over Python-based extraction. If Step 0 failed or if you're working with a newly downloaded PDF, use run_shell with pdftotext before attempting any Python libraries:
pdftotext downloaded.pdf extracted.txtExecute via run_shell:
run_shell command="pdftotext downloaded.pdf extracted.txt"If pdftotext is not available, install it first:
# Debian/Ubuntu
apt-get update && apt-get install -y poppler-utils
# macOS
brew install poppler
# RHEL/CentOS
yum install -y poppler-utilsWhy shell-first? Shell-based pdftotext is more reliable, faster, and avoids sandbox execution issues that can affect Python code execution in constrained environments.
Only if run_shell with pdftotext fails or is unavailable, fall back to Python's PyMuPDF library via execute_code_sandbox:
import fitz # PyMuPDF
doc = fitz.open("downloaded.pdf")
text = ""
for page in doc:
text += page.get_text()
doc.close()
with open("extracted.txt", "w") as f:
f.write(text)Execute within execute_code_sandbox:
execute_code_sandbox code="<Python code above>"Install if needed:
pip install pymupdfNote: Some environments may experience execute_code_sandbox failures (unknown errors). This is why shell-based extraction (Step 3) must be attempted first.
If the PDF cannot be accessed or extracted after all attempts:
Example degradation note:
NOTE: Source document [URL] was inaccessible due to [reason].
Content below combines partial extraction with established domain knowledge
for [topic]. Verify against official sources when available.#!/bin/bash
# pdf-extract-workflow.sh
PDF_URL="$1"
OUTPUT_PDF="downloaded.pdf"
OUTPUT_TXT="extracted.txt"
# Step 0/1: Download with browser user-agent
echo "Downloading PDF..."
curl -L -A "Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36" -o "$OUTPUT_PDF" "$PDF_URL"
# Step 1: Verify file type
echo "Verifying file type..."
if ! file "$OUTPUT_PDF" | grep -q "PDF document"; then
echo "WARNING: Downloaded file is not a valid PDF"
echo "Attempting fallback extraction anyway..."
fi
# Step 2: Try pdftotext via shell (PRIMARY EXTRACTION)
echo "Attempting pdftotext extraction..."
if command -v pdftotext &> /dev/null; then
if pdftotext "$OUTPUT_PDF" "$OUTPUT_TXT" 2>/dev/null; then
echo "Extraction successful with pdftotext"
exit 0
fi
fi
# Step 3: Fallback to PyMuPDF via Python sandbox (SECONDARY)
echo "Falling back to PyMuPDF..."
python3 << 'PYTHON_SCRIPT'
import fitz
import sys
try:
doc = fitz.open("downloaded.pdf")
text = ""
for page in doc:
text += page.get_text()
doc.close()
with open("extracted.txt", "w") as f:
f.write(text)
print("Extraction successful with PyMuPDF")
sys.exit(0)
except Exception as e:
print(f"PyMuPDF failed: {e}")
sys.exit(1)
PYTHON_SCRIPT
# Step 4: Handle complete failure
if [ $? -ne 0 ]; then
echo "All extraction methods failed. Generate content from domain knowledge."
echo "Document the failure and proceed with knowledge-based content generation."
fiFor AI agents with access to specialized tools, follow this exact sequence:
# ITERATION 1: Try read_file first
read_file filetype="pdf" file_path="document.pdf"
# If read_file returns binary data or fails:
# ITERATION 2: Use run_shell with pdftotext
run_shell command="pdftotext document.pdf extracted.txt"
# If run_shell fails:
# ITERATION 3: Use execute_code_sandbox with PyMuPDF
execute_code_sandbox code="import fitz; doc = fitz.open('document.pdf'); ..."
# If all automated extraction fails:
# ITERATION 4+: Document failure mode and generate from domain knowledgeCritical anti-pattern to avoid: Do NOT attempt execute_code_sandbox before run_shell for PDF extraction. Shell tools are more reliable and should be prioritized.
Based on execution analysis, here are common failure cascades and recovery strategies:
Symptom: read_file returns PNG/JPEG image data or raw PDF bytes instead of text
Cause: Tool cannot extract text from scanned PDFs or certain PDF structures
Recovery: Immediately switch to run_shell with pdftotext - do not attempt to parse binary data
Symptom: Multiple execute_code_sandbox calls fail with "unknown error"
Cause: Sandbox execution environment issues or resource constraints
Recovery: This is why run_shell must be attempted first - shell execution bypasses sandbox limitations
Symptom: All read_webpage calls to domain URLs return errors
Cause: Anti-bot measures, network issues, or site blocking
Recovery: Focus on PDF extraction from locally downloaded files; supplement missing context from domain knowledge with clear citations
run_shell over execute_code_sandbox when both are viableread_file returns non-text data, immediately switch to shell tools| Symptom | Cause | Solution |
|---|---|---|
| HTML content in PDF | URL redirected to error page | Check HTTP status, try alternate URL |
| Empty extraction | Password-protected or scanned PDF | Try OCR tools or request accessible version |
| Garbled text | Encoding issues | Try PyMuPDF with different extraction mode |
| read_file returns binary | Scanned PDF or tool limitation | Immediately use run_shell with pdftotext |
| execute_code_sandbox unknown error | Sandbox execution failure | This is why run_shell should be tried first |
| Curl blocked | Anti-bot measures | Add more headers, use delay between requests |
© HKUDS, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
SKILL.md and 1 other file in benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced of HKUDS/OpenSpace.
Open the folder on GitHubat commit 3827781
PDF Extract Ordered Fallback 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 |
|---|---|---|---|---|---|---|
| PDF Extract Ordered Fallback this skillHKUDS/OpenSpace | 7.7k | — | ~2.6k | Automated safety check: Pass | MIT | |
| Instrument Data To Allotropeaws-samples/amazon-bedrock-agents-healthcare-lifesciences | 274 | 2 repos | ~2.7k | Automated safety check: Pass | Apache-2.0 | |
| Software Certificate SkillIvanCodesDev/software-certificate-skill | 156 | — | ~1.6k | Automated safety check: Pass | MIT | |
| Doc Cleanernotoriouslab/doc-cleaner | 309 | — | ~712 | Automated safety check: Pass | MIT | |
| MineruNebutra/MinerU-Skill | 122 | — | ~504 | Automated safety check: Pass | MIT | |
| Office To Mdshuyu-labs/WebCode | 278 | — | ~1k | Automated safety check: Notes | Custom licence |
aws-samples/amazon-bedrock-agents-healthcare-lifesciences
Convert laboratory instrument output files (PDF, CSV, Excel, TXT) to Allotrope Simple Model (ASM) JSON format or flattened 2D CSV.
IvanCodesDev/software-certificate-skill
面向普通用户,从真实软件项目全自动生成中国软件著作权申请资料:一次收集登记事实,自动分析业务、选择可追溯源码、取得真实界面证据,生成申请表信息、规范黑白灰操作手册、代码前后30页或全部材料及真实 DOCX/PDF;内部验证、渲染、哈希与备份只进入系统临时运行区,项目最终仅保留正式资料。适配 Codex、Claude…
notoriouslab/doc-cleaner
Convert PDF, DOCX, XLSX, and text files to clean, structured Markdown.
Nebutra/MinerU-Skill
An AI-Native skill for parsing PDF / Office / image files into Markdown with MinerU — a fast, zero-config document parser for AI agents.
shuyu-labs/WebCode
Convert Office documents (Word, Excel, PowerPoint, PDF) to Markdown format.
doccker/cc-use-exp
当实现用户驱动的大文件导出或批量序列化(Excel/CSV/JSON/JSONL/PDF,数据量未知或超过 1 万行/10 MB)时触发;普通小文件下载、静态资源下载、非导出 Writer/Report 类不触发。防止 OOM、临时文件残留、同步导出阻塞 HTTP 线程和表格公式注入。
HKUDS/OpenSpace
Walks through producing a master audio track plus stems in Python, from checking a reference file and timing sections by BPM to effects, a zip archive and final verification.
HKUDS/OpenSpace
Handle cascading data retrieval tool failures by falling back to embedded knowledge generation
HKUDS/OpenSpace
Gives an agent a workaround when its code-execution sandbox keeps failing: save the Python script to a file and run it through the shell instead.
HKUDS/OpenSpace
A recovery routine for agents whose sandboxed code runner keeps failing: save the Python script to disk, then run it through the shell and read the output.
HKUDS/OpenSpace
Fallback ladder for failed sandboxed code runs, plus the habit of fixing the working directory first so generated files land in the right place.
HKUDS/OpenSpace
Fallback workflow for executing Python code when executecodesandbox fails repeatedly
Works with
Categories
PDF extraction with ordered tool chain: readfile, then runshell/pdftotext, then executecodesandbox/PyMuPDF. PDF Extract Ordered Fallback is an agent skill from HKUDS/OpenSpace.
PDF Extract Ordered Fallback fits situations like: tasks that involve PDF.
Run `npx skills add HKUDS/OpenSpace --skill pdf-extract-ordered-fallback -a claude-code`. Or copy the skill folder (benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced in HKUDS/OpenSpace) into .claude/skills/pdf-extract-ordered-fallback in your project. Claude Code loads it when a task matches its description.
Run `npx skills add HKUDS/OpenSpace --skill pdf-extract-ordered-fallback -a codex`. Or copy the skill folder (benchmarks/gdpval/skills/pdf-download-extract-fallback-enhanced in HKUDS/OpenSpace) into .agents/skills/pdf-extract-ordered-fallback 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 HKUDS/OpenSpace --skill pdf-extract-ordered-fallback -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/pdf-extract-ordered-fallback, .gemini/skills/pdf-extract-ordered-fallback, .github/skills/pdf-extract-ordered-fallback and .opencode/skills/pdf-extract-ordered-fallback in your project.
Going by SKILL.md and its folder, PDF Extract Ordered Fallback needs the command-line tools its instructions call (curl, apt-get, pdftotext, brew, yum and pip). Our summary lists: Python 3.
SKILL.md contains no URLs. Its commands use curl and pip, 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 no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
PDF Extract Ordered Fallback is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 2.6k tokens (SKILL.md is roughly 10k 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 PDF Extract Ordered Fallback: Instrument Data To Allotrope (aws-samples/amazon-bedrock-agents-healthcare-lifesciences, 274 stars), Software Certificate Skill (IvanCodesDev/software-certificate-skill, 156 stars), Doc Cleaner (notoriouslab/doc-cleaner, 309 stars) and Mineru (Nebutra/MinerU-Skill, 122 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
HKUDS (a GitHub organization) maintains it in HKUDS/OpenSpace, which has 7,743 GitHub stars. The repository holds 199 skills in this directory. The repository was last updated on August 12, 2026.
Source: HKUDS/OpenSpace on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.