.auxFrom the SWH-MSR-ARV dataset (Desmazières, Di Cosmo, Lorentz, MSR 2025; file nb_extensions_alphanum.csv) — one row per (ext, year) in the full SWH archive. Case-aggregated. citation.
Case variants in archive: .aux (1.4M), .AUX (448), .Aux (5) — aggregated above.
Existing claims are only secondary or weakly-attested. A confirmation (or correction) would strengthen the catalog. Vocabulary reference: docs/extension_labels.md.
ext-review.
Your GitHub login becomes the annotator; the issue's
created_at is the submission timestamp.tools/process_extension_labels.py)
fetches all ext-review issues and writes their
parsed contents into
data/derived/extension_labels.csv with
curator_status="new". Until this script runs, your
submission lives only as the GitHub issue.extension_labels.csv to set
curator_status to accepted.pl/<id> labels, build_pl_taxonomy.py
promotes accepted labels into
ext_claim.csv with
source="manual_review:<your-login>" and
strength="proposed". The next site rebuild then
shows your claim on this extension's page and on the
language's page.binary:image for .png) are not
promoted into ext_claim.csv (they aren't PL
claims) but are surfaced on this page's "Prior labels"
table so anyone landing here sees them next to the auto-detected
category.In short: submitting opens an issue (provenance), and a small ingestion pipeline turns issues into rows the site renders. The loop is currently manual (the curator script must be run by a maintainer); GitHub Actions could automate it on each new issue.
.aux among their extensions. Strength reflects whether the upstream source treated it as their primary extension.| Language | Source | Strength |
|---|---|---|
| LaTeX | pygments | secondary |
| TeX | linguist | secondary |
| TeX | pygments | secondary |
.aux on Wikidata
(property P1195) or in the Wikipedia infobox.
Source: data/derived/external_extension_index.csv.
Click Use as new PL on any row to open the
Add-PL form pre-filled with that entry's name, Wikipedia/Wikidata
URL, and this extension — one submission creates the PL + claim.
| Format | Class (Wikidata P31) | Suggested label | MIME | Notes | Action |
|---|---|---|---|---|---|
| Auxiliary file, AUX variant Q27826340 file format | file format | — | — | — | Use as new PL ↗ |
| Proxy AUX file, AUX variant Q27826389 file format | file format | — | — | — | Use as new PL ↗ |